| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | 房间 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15492-15492 | 浴室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15503-15503 | 衣橱 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15515-15515 | 更衣室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15553-15553 | 厨房 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15579-15579 | 饭厅 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15583-15583 | 卧室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15593-15593 | 教室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15612-15612 | 门厅 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16171-16171 | 法庭室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25395-25395 | SelfServiceLaundry 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26738-26738 | Solarium 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26767-26767 | GameRoom 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26780-26780 | Nursery 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26791-26791 | SteamBath 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 119-119 | HotelRoom 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1650-1650 | BusinessCenter 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1686-1686 | HotelFunctionRoom 是 房间 的 subclass |
|
|