TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(contraryAttribute Civilian MilitaryPerson)	Mid-level-ontology.kif 24510-24510	Civilian is the opposite of military person
(instance Corpsman MilitaryPerson)	MilitaryPersons.kif 741-741	Hospital corpsman is an instance of military person
(subAttribute SEAL MilitaryPerson)	MilitaryPersons.kif 794-794	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat EnglishLanguage MilitaryPerson "military person")	domainEnglishFormat.kif 37685-37685	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人")	domainEnglishFormat.kif 37686-37686	United States Navy Sea, Air, and Land Team member is a subattribute of military person
(termFormat ChineseLanguage MilitaryPerson "军人")	domainEnglishFormat.kif 37687-37687	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)))))

If military person is an attribute of X holds during Y, then there exists Z such that Z is an instance of military organization and X is a member of Z holds during Y

consequent

(=> (holdsDuring ?T1 (attribute ?X Civilian)) (holdsDuring ?T1 (not (attribute ?X MilitaryPerson))))	Mid-level-ontology.kif 24577-24579	If civilian is an attribute of X holds during Y, then military person is not an attribute of X holds during Y
(=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 24747-24752	If X is an instance of military organization, Y is a member of X holds during Z, and Y is an instance of human, then military person is an attribute of Y holds during Z
(=> (instance ?S SITREP) (exists (?A ?P) (and (attribute ?A MilitaryPerson) (attribute ?P MilitaryPerson) (agent ?S ?A) (patient ?S ?P))))	MilitaryProcesses.kif 2775-2782	If X is an instance of SITuation REPort, then there exist Y, Z such that military person is an attribute of Y, military person is an attribute of Z, Y is an agent of X, and Z is a patient of X
(=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B))))	MilitaryProcesses.kif 2799-2805	If X is an instance of military base, then there exists Y such that Y is an instance of human, military person is an attribute of Y, and Y lives in X