MilitaryCommander(military commander) | commandant, commander, commanding_officer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1358-1358 | Military commander is an instance of position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 333-333 | Combatant commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 894-894 | DirectorJS is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 357-357 | Joint forces air commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 345-345 | Joint forces commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 379-379 | Joint forces land commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 401-401 | Joint forces maritime commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 433-433 | Joint forces special operations commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 337-337 | Joint task force commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 468-468 | President is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 455-455 | Secretary of defense is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 339-339 | Service chief is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 335-335 | Subunified commander is a subattribute of military commander |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37565-37565 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37564-37564 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37563-37563 |
consequent |