appointedPosition |
appearance as argument number 1 |
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 | The number 1 argument of appointedPosition is an instance of appointing |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 150-150 | The number 2 argument of appointedPosition is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 151-151 | The number 3 argument of appointedPosition is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 148-148 | appointedPosition is an instance of ternary predicate |
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 156-169 |
|