No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 651-651 |
AssaultAmphibianBatallion est une sous-classe de AssaultAmphibianUnit |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 659-659 |
AssaultAmphibianPlatoon est une sous-classe de AssaultAmphibianUnit |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8742-8742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8741-8741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8740-8740 |
|