No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19049-19049 |
Admiral est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19070-19070 |
CaptainOfficer est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19075-19075 |
Colonel est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19084-19084 |
Corporal est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19066-19066 |
Lieutenant est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19053-19053 |
Major est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19042-19042 |
MilitaryGeneral est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 747-747 |
SecurityOfficer est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19080-19080 |
Sergeant est un sous-attribut de MilitaryOfficer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37667-37667 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37666-37666 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37665-37665 |
|