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 est une sous-classe de MilitaryRank |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 347-347 | USMilitaryRankE1 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 360-360 | USMilitaryRankE2 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 373-373 | USMilitaryRankE3 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 386-386 | USMilitaryRankE4 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 399-399 | USMilitaryRankE5 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 412-412 | USMilitaryRankE6 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 425-425 | USMilitaryRankE7 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 438-438 | USMilitaryRankE8 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 451-451 | USMilitaryRankE9 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 470-470 | USMilitaryRankE9special est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 484-484 | USMilitaryRankO1 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 583-583 | USMilitaryRankO10 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 494-494 | USMilitaryRankO2 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 504-504 | USMilitaryRankO3 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 514-514 | USMilitaryRankO4 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 524-524 | USMilitaryRankO5 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 534-534 | USMilitaryRankO6 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 544-544 | USMilitaryRankO7 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 557-557 | USMilitaryRankO8 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 570-570 | USMilitaryRankO9 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 596-596 | USMilitaryRankSpecial est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 627-627 | USMilitaryRankWO1 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 636-636 | USMilitaryRankWO2 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 646-646 | USMilitaryRankWO3 est une instance de USMilitaryRank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 656-656 | USMilitaryRankWO4 est une instance 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 |
|