No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30054-30084 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | R�gion est une sous-classe de objet |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 10-10 | Atmosphere est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 535-535 | HydrophobicSide est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 546-546 | HydrophilicSide est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 31-31 | ParkingRegion est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3104-3104 | TransitStop est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3172-3172 | TransitRoute est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9070-9070 | FlowRegion est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9094-9094 | SpaceRegion est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9156-9156 | Outdoors est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9168-9168 | Indoors est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15555-15555 | SittingArea est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15568-15568 | KitchenArea est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15593-15593 | DiningArea est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17700-17700 | UnderwaterRegion est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22269-22269 | Road est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26667-26667 | Patio est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9887-9887 | Trou est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14077-14077 | Secteur g�ographique est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | Transitway est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 302-302 | Latitude est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 311-311 | Longitude est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | PerimeterArea est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1354-1354 | RealEstate est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 982-982 | PlayArea est une sous-classe de r�gion |