No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4438-4438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4437-4437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4436-4436 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 334-334 |
子關係 freeRoomAmenity and roomAmenity |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 380-380 |
子關係 paidRoomAmenity and roomAmenity |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 276-276 |
|