No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 542-542	HongKong e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 644-644	HowlandIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 346-346	IsleOfMan e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 312-312	JanMayenIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 645-645	JarvisIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 345-345	Jersey e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 646-646	JohnstonAtoll e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 647-647	KingmanReef e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 543-543	Macau e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 421-421	Martinique e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 648-648	MidwayIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 422-422	Montserrat e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 423-423	NavassaIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 424-424	NetherlandsAntilles e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 649-649	NewCaledonia e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 650-650	Niue e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 651-651	NorfolkIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 652-652	NorthernMarianaIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Media.kif 2571-2571	PalestinianTerritories e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 653-653	PalmyraAtoll e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 595-595	ParacelIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 654-654	PitcairnIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 232-232	SaintHelena e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 402-402	SaintPierreAndMiquelon e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 493-493	SouthGeorgiaAndTheSouthSandwichIslands e' uma instancia de Area terrestre
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