No TPTP formula. May not be expressible in strict first order. |
Military.kif 755-755 |
美國軍銜o2 是 排 的 command 梯隊等級 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 492-492 |
繼承屬性 美國軍銜o1 and 美國軍銜o2 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 497-497 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 496-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60968-60968 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60967-60967 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60966-60966 |
|