| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15761-15761 | 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 7043-7043 | Commercial building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7078-7078 | Store is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7090-7090 | Farm building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7319-7319 | Auditorium is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7666-7666 | Medical clinic building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7903-7903 | Religious building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8475-8475 | Library building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15735-15735 | Barn is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20921-20921 | Police facility is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22389-22389 | Entertainment building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22401-22401 | Government building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22476-22476 | Office building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22481-22481 | School building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22519-22519 | Place of worship is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22555-22555 | Restaurant building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26491-26491 | High rise is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15825-15825 | 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 |
|
|