No TPTP formula. May not be expressible in strict first order. |
Dining.kif 876-878 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 879-879 |
域 contestObject, 1 and Contest |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 880-880 |
域 contestObject, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 881-881 |
域 contestObject, 3 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 875-875 |
例 contestObject and TernaryPredicate |