No TPTP formula. May not be expressible in strict first order. |
Military.kif 654-654 |
繼承屬性 美軍軍銜W3 and 美軍軍銜o4 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 659-659 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 662-662 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 660-660 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 661-661 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61040-61040 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61039-61039 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61038-61038 |
|