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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TulkaremWestBank

 Sigma KEE - TulkaremWestBank
TulkaremWestBank(tulkarem west bank)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2400-2400
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3616-3616 Tulkarem west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2399-2399 Tulkarem 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 3617-3617 Tulkarem west bank has name "Tulkarem"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59432-59432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59431-59431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59430-59430


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