No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17956-17957 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18015-18017 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17953-17953 |
域 relativeAngle, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17954-17954 |
域 relativeAngle, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17955-17955 |
域 relativeAngle, 3 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17951-17951 |
例 relativeAngle and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17952-17952 |
例 relativeAngle and TotalValuedRelation |