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

Formal Language: 



KB Term:  Term intersection
English Word: 

  uncle

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 22525-22526
(domain uncle 1 Man) Mid-level-ontology.kif 22527-22527
(domain uncle 2 Human) Mid-level-ontology.kif 22528-22528
(instance uncle BinaryPredicate) Mid-level-ontology.kif 22530-22530
(subrelation uncle familyRelation) Mid-level-ontology.kif 22529-22529

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


(format ChineseLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4867-4867
(format ChineseTraditionalLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4866-4866
(format EnglishLanguage uncle "the uncle of %2 is %1") domainEnglishFormat.kif 4865-4865
(termFormat ChineseLanguage uncle "叔叔") domainEnglishFormat.kif 59819-59819
(termFormat ChineseTraditionalLanguage uncle "叔叔") domainEnglishFormat.kif 59818-59818
(termFormat EnglishLanguage uncle "uncle") domainEnglishFormat.kif 59817-59817

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


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


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

Show without tree


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