No TPTP formula. May not be expressible in strict first order. |
Music.kif 1076-1078 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1071-1074 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1080-1080 |
域 contestEntry, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1081-1081 |
域 contestEntry, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1082-1082 |
域 contestEntry, 3 and Contest |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1070-1070 |
例 contestEntry and TernaryPredicate |