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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HerzliyaIsrael

 Sigma KEE - HerzliyaIsrael
HerzliyaIsrael(herzliya israel)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1795-1795
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3526-3526
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3334-3334
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3527-3527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3528-3528
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3529-3529
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2923-2923 Herzliya israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1794-1794 Herzliya israel is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2924-2924 Herzliya israel has name "Herzliya"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28047-28047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28046-28046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28045-28045


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