| No TPTP formula. May not be expressible in strict first order. |
Military.kif 347-347 |
例 美國軍銜e1 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 360-360 |
例 美國軍銜e2 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 373-373 |
例 美國軍銜e3 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 386-386 |
例 美國軍銜e4 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 399-399 |
例 美國軍銜e5 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 412-412 |
例 美國軍銜e6 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 425-425 |
例 美國軍銜e7 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 438-438 |
例 美國軍銜e8 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 451-451 |
例 美國軍銜e9 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 470-470 |
例 美國軍銜e9特別 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 484-484 |
例 美國軍銜o1 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 583-583 |
例 美軍軍銜o10 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 494-494 |
例 美國軍銜o2 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 504-504 |
例 美國軍銜o3 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 514-514 |
例 美國軍銜o4 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 524-524 |
例 美國軍銜o5 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 534-534 |
例 美國軍銜o6 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 544-544 |
例 美國軍銜o7 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 557-557 |
例 美國軍銜o8 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 570-570 |
例 美國軍銜o9 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 596-596 |
例 美國軍銜特殊 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 627-627 |
例 美國軍銜o and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 636-636 |
例 美國軍銜o2 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 646-646 |
例 美軍軍銜W3 and 美國軍銜 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 656-656 |
例 美軍軍銜o4 and 美國軍銜 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
USMilitaryRank