| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | Room is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15492-15492 | Bathroom is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15503-15503 | Closet is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15515-15515 | Dressing room is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15553-15553 | Kitchen is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15579-15579 | Dining room is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15583-15583 | Bedroom is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15593-15593 | Classroom is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15612-15612 | Hall is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16171-16171 | Court room is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25395-25395 | Self-service laundry is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26738-26738 | Solarium is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26767-26767 | Game room is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26780-26780 | Nursery is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26791-26791 | Steam bath is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 119-119 | Hotel room is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1650-1650 | Business center is a subclass of room |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1686-1686 | Hotel function room is a subclass of room |
|
|