No TPTP formula. May not be expressible in strict first order. | Merge.kif 15825-15825 | ResidentialBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15826-15826 | ResidentialBuilding e' uma sub-classe de Residence |
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. | Merge.kif 15791-15791 | House 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 |