No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 596-596	Spratly islands is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 313-313	Svalbard is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 655-655	Tokelau is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 425-425	Turks and caicos islands is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 656-656	Wake island is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 657-657	Wallis and futuna is an instance of land area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 238-238	West bank is an instance of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6170-6170	The range of shoreline is an instance of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2065-2065	Arable land is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8207-8207	Campground is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8091-8091	Cemetery is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14245-14245	City is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8218-8218	City block is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14181-14181	Continent is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14252-14252	County is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8135-8135	Cultivated land area is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6619-6619	Desert is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8991-8991	Field is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6352-6352	Forest is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6662-6662	Grassland is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2202-2202	Irrigated land is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14190-14190	Island is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5818-5818	Isthmus is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6598-6598	Jungle is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14285-14285	Land transitway is a subclass 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