No TPTP formula. May not be expressible in strict first order. |
Biography.kif 152-154 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 149-149 |
域 appointedPosition, 1 and 任命 |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 150-150 |
域 appointedPosition, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 151-151 |
域 appointedPosition, 3 and Position |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 148-148 |
例 appointedPosition and TernaryPredicate |