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 23574-23575
(instance MilitaryPerson OccupationalRole)	Mid-level-ontology.kif 23573-23573	Military person is an instance of occupational role

appearance as argument number 2

(contraryAttribute Civilian MilitaryPerson)	Mid-level-ontology.kif 23346-23346	Civilian is the opposite of military person
(instance Corpsman MilitaryPerson)	MilitaryPersons.kif 738-738	Hospital corpsman is an instance of military person
(subAttribute SEAL MilitaryPerson)	MilitaryPersons.kif 791-791	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat ChineseLanguage MilitaryPerson "军人")	domainEnglishFormat.kif 37711-37711	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人")	domainEnglishFormat.kif 37710-37710	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat EnglishLanguage MilitaryPerson "military person")	domainEnglishFormat.kif 37709-37709	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 23577-23582

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 23584-23589	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 23413-23415	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 2755-2761	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 2731-2738	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: