No TPTP formula. May not be expressible in strict first order. |
Military.kif 502-502 |
繼承屬性 美國軍銜o2 and 美國軍銜o3 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 507-507 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 508-508 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 509-509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60974-60974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60973-60973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60972-60972 |
|