No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15736-15736 |
Barn e' disjunto de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7091-7091 |
FarmBuilding e' disjunto de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6935-6935 |
ApartmentBuilding e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6950-6950 |
CondominiumBuilding e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6977-6977 |
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 15791-15791 |
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 |
|