rdf:typeConcept
skos:definition
⊑
(logic) a statement that affirms or denies something and is either true or false
∴dns:linked concepten:proposition

Other

dc11:Sourcehttp://wordnet-rdf.princeton.edu/wn30/06750804-n