No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 651-651 |
AssaultAmphibianBatallion 是 突击两栖动物单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 659-659 |
突击两栖动物排 是 突击两栖动物单位 的 subclass |
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 |
|