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. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Weather.kif 10-10 Atmosphere is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 536-536 Hydrophobic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 547-547 Hydrophilic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 31-31 Parking area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2924-2924 Transit stop is a subclass of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2991-2991 Transit route is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9043-9043 Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9067-9067 Space region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9129-9129 Outdoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9141-9141 Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15528-15528 Sitting area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15541-15541 Kitchen area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15566-15566 Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17673-17673 Under water is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22217-22217 Road is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26634-26634 Patio is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9851-9851 Hole is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 14031-14031 Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 14265-14265 Transitway is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 302-302 Latitude is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 311-311 Longitude is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 762-762 Perimeter area is a subclass of region
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1354-1354 Real estate is a subclass of region
No TPTP formula. May not be expressible in strict first order. Dining.kif 982-982 Playground is a subclass of region


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