No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15737-15737 |
Barn e' disjunto de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7092-7092 |
FarmBuilding e' disjunto de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6936-6936 |
ApartmentBuilding e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6951-6951 |
CondominiumBuilding e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6978-6978 |
Dormitory e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 77-77 |
HotelBuilding e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15769-15769 |
House e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49634-49634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49633-49633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49632-49632 |
|