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 24771-24772
(domain uncle 1 Man) Mid-level-ontology.kif 24773-24773
(domain uncle 2 Human) Mid-level-ontology.kif 24774-24774
(instance uncle BinaryPredicate) Mid-level-ontology.kif 24776-24776
(subrelation uncle familyRelation) Mid-level-ontology.kif 24775-24775

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


(format ChineseLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4864-4864
(format ChineseTraditionalLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4863-4863
(format EnglishLanguage uncle "the uncle of %2 is %1") domainEnglishFormat.kif 4862-4862
(termFormat ChineseLanguage uncle "叔叔") domainEnglishFormat.kif 59844-59844
(termFormat ChineseTraditionalLanguage uncle "叔叔") domainEnglishFormat.kif 59843-59843
(termFormat EnglishLanguage uncle "uncle") domainEnglishFormat.kif 59842-59842

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


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 24778-24783


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 3.0 is open source software produced by Articulate Software and its partners