No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30018-30048 |
|
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 535-535 | Hydrophobic side is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 546-546 | 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 9042-9042 | Flow region is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9066-9066 | Space region is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9128-9128 | Outdoors is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9140-9140 | Indoors is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15527-15527 | Sitting area is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15540-15540 | Kitchen area is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15565-15565 | Dining area is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17672-17672 | Under water is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22216-22216 | Road is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26622-26622 | Patio is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9873-9873 | Hole is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14053-14053 | Geographic area is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14287-14287 | 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 |
![]() |