No TPTP formula. May not be expressible in strict first order. |
Military.kif 542-542 |
繼承屬性 美國軍銜o6 and 美國軍銜o7 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 546-546 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 551-551 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 548-548 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 549-549 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 552-552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60998-60998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60997-60997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60996-60996 |
|