| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | 子類 Room and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15493-15493 | 子類 浴室 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15504-15504 | 子類 衣櫥 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15516-15516 | 子類 更衣室 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15554-15554 | 子類 廚房 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15580-15580 | 子類 飯廳 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15584-15584 | 子類 臥室 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15594-15594 | 子類 教室 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15613-15613 | 子類 門廳 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16172-16172 | 子類 法庭室 and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25396-25396 | 子類 SelfServiceLaundry and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26750-26750 | 子類 Solarium and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26779-26779 | 子類 GameRoom and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26792-26792 | 子類 Nursery and Room |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26803-26803 | 子類 SteamBath and Room |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 119-119 | 子類 HotelRoom and Room |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1650-1650 | 子類 BusinessCenter and Room |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1686-1686 | 子類 HotelFunctionRoom and Room |
|
|