MilitaryCommander(military commander) | commandant, commander, commanding_officer |
appearance as argument number 1 |
(instance MilitaryCommander Position) | Government.kif 1322-1322 | Military commander is an instance of position |
appearance as argument number 2 |
consequent |