No TPTP formula. May not be expressible in strict first order. |
Military.kif 644-644 |
繼承屬性 美國軍銜o2 and 美軍軍銜W3 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 649-649 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 652-652 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 651-651 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61034-61034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61033-61033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61032-61032 |
|