MilitaryPerson - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MilitaryPerson EnglishLanguage "Someone who is a member of a ModernMilitaryOrganization.")	Mid-level-ontology.kif 22743-22744
(instance MilitaryPerson OccupationalRole)	Mid-level-ontology.kif 22742-22742	Military person is an instance of occupational role

appearance as argument number 2

(contraryAttribute Civilian MilitaryPerson)	Mid-level-ontology.kif 22515-22515	Civilian is the opposite of military person
(instance Corpsman MilitaryPerson)	MilitaryPersons.kif 726-726	Hospital corpsman is an instance of military person
(subAttribute SEAL MilitaryPerson)	MilitaryPersons.kif 779-779	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat ChineseLanguage MilitaryPerson "军人")	domainEnglishFormat.kif 37719-37719	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人")	domainEnglishFormat.kif 37718-37718	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat EnglishLanguage MilitaryPerson "military person")	domainEnglishFormat.kif 37717-37717	United States Navy Sea, Air, and Land Team member is a subattribute of military person

antecedent

(=>
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson))
    (exists (?ORG)
        (and
            (instance ?ORG MilitaryOrganization)
            (holdsDuring ?T1
                (member ?X ?ORG)))))

Mid-level-ontology.kif 22746-22751

If military person is an attribute of an entity holds during a time position,
then there exists another entity such that the other entity is an instance of military organization and the entity is a member of the other entity holds during the time position

consequent

(=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 22753-22758	If an entity is an instance of military organization and another entity is a member of the entity holds during a time position and the other entity is an instance of human, then military person is an attribute of the other entity holds during the time position
(=> (holdsDuring ?T1 (attribute ?X Civilian)) (holdsDuring ?T1 (not (attribute ?X MilitaryPerson))))	Mid-level-ontology.kif 22582-22584	If civilian is an attribute of an entity holds during a time position, then military person is not an attribute of the entity holds during the time position
(=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B))))	MilitaryProcesses.kif 2775-2781	If an object is an instance of military base, then there exists an organism such that the organism is an instance of human and military person is an attribute of the organism and the organism lives in the object
(=> (instance ?S SITREP) (exists (?A ?P) (and (attribute ?A MilitaryPerson) (attribute ?P MilitaryPerson) (agent ?S ?A) (patient ?S ?P))))	MilitaryProcesses.kif 2751-2758	If a process is an instance of SITuation REPort, then there exist an agent and an object such that military person is an attribute of the agent and military person is an attribute of the object and the agent is an agent of the process and the object is a patient of the process

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: