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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 20938-20939
(domain grandparent 1 Human) Mid-level-ontology.kif 20935-20935 domain grandparent, 1 and Human
(domain grandparent 2 Human) Mid-level-ontology.kif 20936-20936 domain grandparent, 2 and Human
(instance grandparent AsymmetricRelation) Mid-level-ontology.kif 20934-20934 instance grandparent and AsymmetricRelation
(instance grandparent BinaryPredicate) Mid-level-ontology.kif 20933-20933 instance grandparent 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 20943-20943 subrelation grandfather and grandparent
(subrelation grandmother grandparent) Mid-level-ontology.kif 20941-20941 subrelation grandmother and grandparent
(termFormat ChineseLanguage grandparent "祖父母") domainEnglishFormat.kif 26338-26338
(termFormat ChineseTraditionalLanguage grandparent "祖父母") domainEnglishFormat.kif 26337-26337
(termFormat EnglishLanguage grandparent "grandparent") domainEnglishFormat.kif 26336-26336

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