| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | 房间 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15493-15493 | 浴室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15504-15504 | 衣橱 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15516-15516 | 更衣室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15554-15554 | 厨房 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15580-15580 | 饭厅 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15584-15584 | 卧室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15594-15594 | 教室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15613-15613 | 门厅 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16172-16172 | 法庭室 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25396-25396 | SelfServiceLaundry 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26750-26750 | Solarium 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26779-26779 | GameRoom 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26792-26792 | Nursery 是 房间 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26803-26803 | 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 |
|
|