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

Formal Language: 



KB Term:  Term intersection
English Word: 

  YehudIsrael

 Sigma KEE - YehudIsrael
YehudIsrael(yehud israel)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2459-2459
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3680-3680 Yehud israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2458-2458 Yehud israel is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3681-3681 Yehud israel has name "Yehud"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63775-63775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63774-63774
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63773-63773


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