USMilitaryRank(US military rank) |
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 | US military rank is a subclass of military rank |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 347-347 | US military rank e1 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 360-360 | US military rank e2 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 373-373 | US military rank e3 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 386-386 | US military rank e4 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 399-399 | US military rank e5 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 412-412 | US military rank e6 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 425-425 | US military rank e7 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 438-438 | US military rank e8 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 451-451 | US military rank e9 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 470-470 | US military rank e9special is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 484-484 | US military rank o1 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 583-583 | US military rank o10 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 494-494 | US military rank o2 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 504-504 | US military rank o3 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 514-514 | US military rank o4 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 524-524 | US military rank o5 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 534-534 | US military rank o6 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 544-544 | US military rank o7 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 557-557 | US military rank o8 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 570-570 | US military rank o9 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 596-596 | US military rank special is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 627-627 | US military rankW o1 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 636-636 | US military rankW o2 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 646-646 | US military rankW o3 is an instance of US military rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 656-656 | US military rankW o4 is an instance of US military rank |
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 |
|