No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | Hotel unit is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 90-90 | Hotel unit is a subclass of temporary residence |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 120-120 | Hotel room is a subclass of hotel unit |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 133-133 | Hotel villa is a subclass of hotel unit |