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 24656-24657
(domain grandparent 1 Human) Mid-level-ontology.kif 24653-24653 grandparent の数値 1 引数は 人[人間]instance では
(domain grandparent 2 Human) Mid-level-ontology.kif 24654-24654 grandparent の数値 2 引数は 人[人間]instance では
(instance grandparent AsymmetricRelation) Mid-level-ontology.kif 24652-24652 grandparent非対称関係instance では
(instance grandparent BinaryPredicate) Mid-level-ontology.kif 24651-24651 grandparent2進述語instance では

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 24661-24661 grandfathergrandparentsubrelation では
(subrelation grandmother grandparent) Mid-level-ontology.kif 24659-24659 grandmothergrandparentsubrelation では
(termFormat ChineseLanguage grandparent "祖父母") domainEnglishFormat.kif 26417-26417 grandmothergrandparentsubrelation では
(termFormat ChineseTraditionalLanguage grandparent "祖父母") domainEnglishFormat.kif 26416-26416 grandmothergrandparentsubrelation では
(termFormat EnglishLanguage grandparent "grandparent") domainEnglishFormat.kif 26415-26415 grandmothergrandparentsubrelation では


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