No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 566-566 |
subEchelon WeaponsCompany and HeavyMGPlatoon |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27834-27834 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27833-27833 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 702-702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27832-27832 |
|