Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 597-597 | USMilitaryRankSpecial e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 628-628 | USMilitaryRankWO1 e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 638-638 | USMilitaryRankWO2 e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 648-648 | USMilitaryRankWO3 e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 658-658 | USMilitaryRankWO4 e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 668-668 | USMilitaryRankWO5 e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 231-231 | USRevolutionaryWarSoldier e' um sub-atributo de Soldier |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53858-53858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53857-53857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53856-53856 |