No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 651-651 |
子類 AssaultAmphibianBatallion and 突擊兩棲動物單位 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 659-659 |
子類 突擊兩棲動物排 and 突擊兩棲動物單位 |
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 |
|