No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7043-7043 | CommercialBuilding est une sous-classe de immeuble |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | CommercialBuilding est une sous-classe de PlaceOfCommerce |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6965-6965 | ConventionCenter est une sous-classe de CommercialBuilding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7049-7049 | Warehouse est une sous-classe de CommercialBuilding |