No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 428-428 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 669-669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 426-426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14124-14124 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14123-14123 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14122-14122 |
|