|
|
   PrivateRank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 315-317 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 314-314 | PrivateRank e' uma sub-classe de EnlistedSoldierRank |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 269-269 | EnlistedSoldierRank e' disjuntamente decomponivel em PrivateRank + NonCommissionedOfficerRank |
| 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 359-359 | USMilitaryRankE2 e' uma instancia de PrivateRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 372-372 | USMilitaryRankE3 e' uma instancia de PrivateRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 385-385 | USMilitaryRankE4 e' uma instancia de PrivateRank |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47468-47468 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47467-47467 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47466-47466 |
|
|
|