No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | Building is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2919-2919 | Terminal building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2934-2934 | Home garage is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2935-2935 | Parking garage is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3076-3076 | Toll booth is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 648-648 | Baseball dugout is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | Commercial building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7079-7079 | Store is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | Farm building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7320-7320 | Auditorium is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7667-7667 | Medical clinic building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7904-7904 | Religious building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8476-8476 | Library building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15736-15736 | Barn is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20922-20922 | Police facility is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22390-22390 | Entertainment building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22402-22402 | Government building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22477-22477 | Office building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22482-22482 | School building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22520-22520 | Place of worship is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22556-22556 | Restaurant building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26503-26503 | High rise is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15803 | Residential building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 132-132 | Hotel villa is a subclass of building |