Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - uncle
uncle

appearance as argument number 1
-------------------------


(documentation uncle EnglishLanguage "(uncle ?UNCLE ?PERSON) means that ?UNCLE is the brother of a parent of ?PERSON.") Mid-level-ontology.kif 21039-21040
(domain uncle 1 Man) Mid-level-ontology.kif 21041-21041 The number 1 argument of uncle is an instance of man
(domain uncle 2 Human) Mid-level-ontology.kif 21042-21042 The number 2 argument of uncle is an instance of human
(instance uncle BinaryPredicate) Mid-level-ontology.kif 21044-21044 uncle is an instance of binary predicate
(subrelation uncle familyRelation) Mid-level-ontology.kif 21043-21043 uncle is a subrelation of family relation

appearance as argument number 2
-------------------------


(format ChineseLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4863-4863
(format ChineseTraditionalLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4862-4862
(format EnglishLanguage uncle "the uncle of %2 is %1") domainEnglishFormat.kif 4861-4861
(termFormat ChineseLanguage uncle "叔叔") domainEnglishFormat.kif 59739-59739
(termFormat ChineseTraditionalLanguage uncle "叔叔") domainEnglishFormat.kif 59738-59738
(termFormat EnglishLanguage uncle "uncle") domainEnglishFormat.kif 59737-59737

antecedent
-------------------------


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 21046-21051 The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners