|
|
   USMilitaryRank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 256-256 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 255-255 | USMilitaryRank e' uma sub-classe de MilitaryRank |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 347-347 | USMilitaryRankE1 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 360-360 | USMilitaryRankE2 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 373-373 | USMilitaryRankE3 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 386-386 | USMilitaryRankE4 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 399-399 | USMilitaryRankE5 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 412-412 | USMilitaryRankE6 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 425-425 | USMilitaryRankE7 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 438-438 | USMilitaryRankE8 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 451-451 | USMilitaryRankE9 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 470-470 | USMilitaryRankE9special e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 484-484 | USMilitaryRankO1 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 583-583 | USMilitaryRankO10 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 494-494 | USMilitaryRankO2 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 504-504 | USMilitaryRankO3 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 514-514 | USMilitaryRankO4 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 524-524 | USMilitaryRankO5 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 534-534 | USMilitaryRankO6 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 544-544 | USMilitaryRankO7 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 557-557 | USMilitaryRankO8 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 570-570 | USMilitaryRankO9 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 596-596 | USMilitaryRankSpecial e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 627-627 | USMilitaryRankWO1 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 636-636 | USMilitaryRankWO2 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 646-646 | USMilitaryRankWO3 e' uma instancia de USMilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 656-656 | USMilitaryRankWO4 e' uma instancia de USMilitaryRank |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 257-264 |
|
|
|
|