No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 57-58 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 66-66 |
域 guest, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 67-67 |
域 guest, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 56-56 |
例 guest and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 55-55 |
子關係 guest and 顧客 |