MilitaryOfficer
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19000-19002 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18999-18999 | Military officer is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18998-18998 | Military officer is a subattribute of soldier |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19022-19022 | Admiral is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19043-19043 | Captain officer is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19048-19048 | Colonel is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19057-19057 | Corporal is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19039-19039 | Lieutenant is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19026-19026 | Major is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19015-19015 | Military general is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 747-747 | Intelligence officer is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19053-19053 | Sergeant is a subattribute of military officer |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19004-19013 |
|