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 15584-15584 |
卧室 是 房间 的 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. |
Mid-level-ontology.kif 15594-15594 |
教室 是 房间 的 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 16172-16172 |
法庭室 是 房间 的 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 15516-15516 |
更衣室 是 房间 的 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 15613-15613 |
门厅 是 房间 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1686-1686 |
HotelFunctionRoom 是 房间 的 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. |
Mid-level-ontology.kif 15554-15554 |
厨房 是 房间 的 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 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 26803-26803 |
SteamBath 是 房间 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1052-1052 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1315-1315 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 730-730 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 261-261 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 264-264 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2414-2414 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 682-682 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |