No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 564-564 |
subEchelon WeaponsCompany and AntiArmorPlatoon |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7830-7830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7829-7829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7828-7828 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 701-701 |
|