No TPTP formula. May not be expressible in strict first order. |
Military.kif 597-597 |
子屬性 美國軍銜特殊 and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 628-628 |
子屬性 美國軍銜o and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 638-638 |
子屬性 美國軍銜o2 and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 648-648 |
子屬性 美軍軍銜W3 and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 658-658 |
子屬性 美軍軍銜o4 and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 668-668 |
子屬性 美軍軍銜o5 and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 231-231 |
子屬性 美國革命戰爭士兵 and 士兵 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53858-53858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53857-53857 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53856-53856 |
|