No TPTP formula. May not be expressible in strict first order. |
Military.kif 513-513 |
USMilitaryRankO4 e' uma instancia de FieldGradeOfficerRank |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 523-523 |
USMilitaryRankO5 e' uma instancia de FieldGradeOfficerRank |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 533-533 |
USMilitaryRankO6 e' uma instancia de FieldGradeOfficerRank |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23624-23624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23623-23623 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23622-23622 |
|