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

Formal Language: 



KB Term:  Term intersection
English Word: 

  grandparent

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 23013-23014
(domain grandparent 1 Human) Mid-level-ontology.kif 23010-23010 祖父母, 1 and Human
(domain grandparent 2 Human) Mid-level-ontology.kif 23011-23011 祖父母, 2 and Human
(instance grandparent AsymmetricRelation) Mid-level-ontology.kif 23009-23009 祖父母 and AsymmetricRelation
(instance grandparent BinaryPredicate) Mid-level-ontology.kif 23008-23008 祖父母 and BinaryPredicate

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 23018-23018 子關係 祖父 and 祖父母
(subrelation grandmother grandparent) Mid-level-ontology.kif 23016-23016 子關係 祖母 and 祖父母
(termFormat ChineseLanguage grandparent "祖父母") domainEnglishFormat.kif 26406-26406
(termFormat ChineseTraditionalLanguage grandparent "祖父母") domainEnglishFormat.kif 26405-26405
(termFormat EnglishLanguage grandparent "grandparent") domainEnglishFormat.kif 26404-26404


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