No TPTP formula. May not be expressible in strict first order. |
Military.kif 737-737 |
subEchelon CompanyMilitary and Platoon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 594-594 |
AntiArmorPlatoon est une sous-classe de Platoon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 658-658 |
AssaultAmphibianPlatoon est une sous-classe de Platoon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 611-611 |
HeavyMGPlatoon est une sous-classe de Platoon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 545-545 |
LARPlatoon est une sous-classe de Platoon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 552-552 |
MortarPlatoon est une sous-classe de Platoon |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46250-46250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46249-46249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46248-46248 |
|