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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - grandparent
grandparent

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


(documentation grandparent EnglishLanguage "(grandparent ?YOUNGER ?OLDER) means that ?OLDER is a parent of ?YOUNGER's parent.") Mid-level-ontology.kif 20907-20908
(domain grandparent 1 Human) Mid-level-ontology.kif 20904-20904 The number 1 argument of grandparent is an instance of human
(domain grandparent 2 Human) Mid-level-ontology.kif 20905-20905 The number 2 argument of grandparent is an instance of human
(instance grandparent AsymmetricRelation) Mid-level-ontology.kif 20903-20903 grandparent is an instance of asymmetric relation
(instance grandparent BinaryPredicate) Mid-level-ontology.kif 20902-20902 grandparent is an instance of binary predicate

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


(format ChineseLanguage grandparent "%2 %n 是 %1 的 grandparent ") domainEnglishFormat.kif 1121-1121
(format ChineseTraditionalLanguage grandparent "%2 %n 是 %1 的 grandparent ") domainEnglishFormat.kif 1120-1120
(format EnglishLanguage grandparent "%2 is %n a grandparent of %1") domainEnglishFormat.kif 1119-1119
(subrelation grandfather grandparent) Mid-level-ontology.kif 20912-20912 grandfather is a subrelation of grandparent
(subrelation grandmother grandparent) Mid-level-ontology.kif 20910-20910 grandmother is a subrelation of grandparent
(termFormat ChineseLanguage grandparent "祖父母") domainEnglishFormat.kif 26329-26329
(termFormat ChineseTraditionalLanguage grandparent "祖父母") domainEnglishFormat.kif 26328-26328
(termFormat EnglishLanguage grandparent "grandparent") domainEnglishFormat.kif 26327-26327


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