Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 14153-14153 Land area is a subclass of geographic 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. Mid-level-ontology.kif 8104-8104 Park 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. 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 8218-8218 City block 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. Merge.kif 14168-14168 Shore area 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 14190-14190 Island is a subclass of land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14224-14224 Nation is a subclass of land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14231-14231 State or province 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. Merge.kif 14252-14252 County 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 898-898 Landlocked area is a subclass 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. Geography.kif 2108-2108 Permanent crop land 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. Geography.kif 4092-4092 Watershed divide is a subclass of land area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4196-4196 Piedmont 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 6133-6133 Shoreline 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 6598-6598 Jungle 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. Geography.kif 6638-6638 Oasis 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


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