|
|
  USMilitaryRankE1
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 349-351 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 346-346 | USMilitaryRankE1 e' uma instancia de PrivateRank |
| 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 348-348 | USMilitaryRankE1 e' um sub-atributo de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 358-358 | USMilitaryRankE1 e' um atributo sucessor immediato de USMilitaryRankE2 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 353-353 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 352-352 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 354-354 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 356-356 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 355-355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60896-60896 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60895-60895 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60894-60894 |
|
|
|