Knowledge base Browser - MilitaryOfficer

appearance as argument number 1

(documentation MilitaryOfficer EnglishLanguage "The class of soldiers who have authority or command.")	Mid-level-ontology.kif 12396-12396
(subAttribute MilitaryOfficer Soldier)	Mid-level-ontology.kif 12395-12395	Military officer is a subattribute of soldier

appearance as argument number 2

(subAttribute CaptainOfficer MilitaryOfficer)	Mid-level-ontology.kif 12420-12420	Captain officer is a subattribute of military officer
(subAttribute Colonel MilitaryOfficer)	Mid-level-ontology.kif 12424-12424	Colonel is a subattribute of military officer
(subAttribute Corporal MilitaryOfficer)	Mid-level-ontology.kif 12428-12428	Corporal is a subattribute of military officer
(subAttribute Lieutenant MilitaryOfficer)	Mid-level-ontology.kif 12417-12417	Lieutenant is a subattribute of military officer
(subAttribute Sergeant MilitaryOfficer)	Mid-level-ontology.kif 12431-12431	Sergeant is a subattribute of military officer
(subclass MilitaryGeneral MilitaryOfficer)	Government.kif 2106-2106	Military general is a subclass of military officer
(termFormat EnglishLanguage MilitaryOfficer "military officer")	domainEnglishFormat.kif 6073-6073	term format english language, military officer and "military officer"

antecedent

(=>
    (instance ?OFFICER MilitaryOfficer)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (instance ?PATIENT Soldier)))))

Mid-level-ontology.kif 12398-12407

If an agent is an instance of military officer
then there exist a process and an entity so that process is an instance of managing and agent is an agent of process and entity is a patient of process and entity is an instance of military organization or entity is an instance of soldier

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: