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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KafrIdnaWestBank

 Sigma KEE - KafrIdnaWestBank
KafrIdnaWestBank(kafr idna west bank)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1859-1859
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3013-3013 Kafr idna west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1858-1858 Kafr idna 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 3014-3014 Kafr idna west bank has name "Kafr Idna"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32011-32011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32010-32010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32009-32009


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