No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3320-3320	Nokdim tekoa rd west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3336-3336	Ofra west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3363-3363	Otniel west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3365-3365	Otzarin west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3415-3415	Rama junction west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3419-3419	Ramallah west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3423-3423	Ramin west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3472-3472	Samaria west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3513-3513	Shadmot mehola west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3515-3515	Shavei shomron west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3519-3519	Shilo west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3531-3531	SilatA dahar west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3560-3560	Susiya west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3576-3576	Tekoa west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3590-3590	Tena west bank is a geographic subregion of west bank
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 3618-3618	Tulkarm west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3665-3665	Wadi kelt west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3676-3676	Ya abad west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3684-3684	Yitzhar west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3703-3703	Zeif intersection west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4015-4015	West bank has name "West Bank"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62727-62727
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62726-62726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62725-62725
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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