| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | Predio e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2919-2919 | TerminalBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2934-2934 | HomeGarage e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2935-2935 | ParkingGarage e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3076-3076 | TollBooth e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 648-648 | BaseballDugout e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | CommercialBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7079-7079 | Store e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | FarmBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7320-7320 | Auditorium e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7667-7667 | MedicalClinicBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7904-7904 | ReligiousBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8476-8476 | LibraryBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15736-15736 | Barn e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20922-20922 | PoliceFacility e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22390-22390 | EntertainmentBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22402-22402 | GovernmentBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22477-22477 | OfficeBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22482-22482 | SchoolBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22520-22520 | PlaceOfWorship e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22556-22556 | RestaurantBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26503-26503 | HighRise e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15803 | ResidentialBuilding e' uma sub-classe de Predio |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 132-132 | HotelVilla e' uma sub-classe de Predio |
|
|