No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2732-2734 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2737-2737 |
域 roomStay, 1 and HotelPackage |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2738-2738 |
域 roomStay, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2739-2739 |
域子類 roomStay, 3 and HotelUnit |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2731-2731 |
例 roomStay and TernaryPredicate |