hasExpertise |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 535-537 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 571-573 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 348-350 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 579-581 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 586-588 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 593-595 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 601-603 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 609-611 |