OtherMotorVehicleDealers
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 91-93 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | HotelUnit 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 90-90 | HotelUnit 是 暂住 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 120-120 | HotelRoom 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 133-133 | HotelVilla 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 94-94 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 336-336 | freeRoomAmenity 的 1 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 382-382 | paidRoomAmenity 的 1 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2949-2949 | reservedRoom 的 2 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 278-278 | roomAmenity 的 1 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 460-460 | roomAttribute 的 1 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 445-445 | roomPolicy 的 1 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2739-2739 | roomStay 的 3 数量 是 HotelUnit 的 subclass |
antecedent |
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 1003-1014 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 69-75 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 96-101 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 103-108 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 110-117 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 978-982 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 45-52 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1969-1987 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 143-145 |