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 23182-23183
(domain uncle 1 Man) Mid-level-ontology.kif 23184-23184 叔叔 的 1 数量 是 人 的 instance
(domain uncle 2 Human) Mid-level-ontology.kif 23185-23185 叔叔 的 2 数量 是 人类 的 instance
(instance uncle BinaryPredicate) Mid-level-ontology.kif 23187-23187 叔叔 是 二元谓语 的 instance
(subrelation uncle familyRelation) Mid-level-ontology.kif 23186-23186 叔叔 是 家属关系 的 subrelation

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


(format ChineseLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4858-4858
(format ChineseTraditionalLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4857-4857
(format EnglishLanguage uncle "the uncle of %2 is %1") domainEnglishFormat.kif 4856-4856
(termFormat ChineseLanguage uncle "叔叔") domainEnglishFormat.kif 59854-59854
(termFormat ChineseTraditionalLanguage uncle "叔叔") domainEnglishFormat.kif 59853-59853
(termFormat EnglishLanguage uncle "uncle") domainEnglishFormat.kif 59852-59852

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


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23189-23194 人类 的 uncle 是 人 若且唯若 有存在 另一个 人类 这样 那个 人 是 那个 另外 人类 的 brother 和 那个 另外 人类 是 那个 人类 的 parent


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