|
|
  USMilitaryRankWO2
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 637-637 | USMilitaryRankWO2 e' uma instancia de CommissionedOfficerRank |
| 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 635-635 | USMilitaryRankWO2 e' uma instancia de USWarrantOfficerRank |
| 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 644-644 | USMilitaryRankWO2 e' um atributo sucessor immediato de USMilitaryRankWO3 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 634-634 | USMilitaryRankWO1 e' um atributo sucessor immediato de USMilitaryRankWO2 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 639-639 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 642-642 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 640-640 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 641-641 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61028-61028 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61027-61027 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61026-61026 |
|
|
|