No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 596-596	SpratlyIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 313-313	Svalbard e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 655-655	Tokelau e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 425-425	TurksAndCaicosIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 656-656	WakeIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 657-657	WallisAndFutuna e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 238-238	WestBank e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6170-6170	O contra-dominio de ShorelineFn e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2065-2065	ArableLand e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8207-8207	Campground e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8091-8091	Cemetery e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14245-14245	Cidade e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8218-8218	CityBlock e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14181-14181	Continente e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14252-14252	County e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8135-8135	CultivatedLandArea e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6619-6619	Desert e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8991-8991	Field e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6352-6352	Forest e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6662-6662	Grassland e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2202-2202	IrrigatedLand e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14190-14190	Ilha e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5818-5818	Isthmus e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6598-6598	Jungle e' uma sub-classe de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14285-14285	LandTransitway e' uma sub-classe 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