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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ItamarWestBank

 Sigma KEE - ItamarWestBank
ItamarWestBank(itamar west bank)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1817-1817
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4888-4888
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2957-2957 Itamar west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1816-1816 Itamar west bank is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2958-2958 Itamar west bank has name "Itamar"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31285-31285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31284-31284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31283-31283


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