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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartAfghanistan

 Sigma KEE - HeartAfghanistan
HeartAfghanistan(心脏阿富汗)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1787-1787
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5258-5258
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5260-5260
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5259-5259
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5122-5122
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2915-2915 心脏阿富汗 是 阿富汗 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1786-1786 心脏阿富汗 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2916-2916 心脏阿富汗 的名 是 "Heart"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27780-27780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27779-27779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27778-27778


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