No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 542-542	Hong kong is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 644-644	Howland island is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 346-346	Isle of man is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 312-312	Jan mayen island is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 645-645	Jarvis island is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 345-345	Jersey is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 646-646	Johnston atoll is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 647-647	Kingman reef is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 543-543	Macau is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 421-421	Martinique is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 648-648	Midway islands is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 422-422	Montserrat is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 423-423	Navassa island is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 424-424	Netherlands antilles is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 649-649	New caledonia is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 650-650	Niue is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 651-651	Norfolk island is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 652-652	Northern mariana islands is an instance of land area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2571-2571	Palestinian territories is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 653-653	Palmyra atoll is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 595-595	Paracel islands is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 654-654	Pitcairn islands is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 232-232	Saint helena is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 402-402	Saint pierre and miquelon is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 493-493	South georgia and the south sandwich islands is an instance of land area
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