MilitaryProcess - Sigma Knowledge base Browser

appearance as argument number 3

(domainSubclass fitForMilitaryService 2 MilitaryProcess)

antecedent

(=>
    (instance ?OP MilitaryProcess)
    (exists (?FORCE)
        (and
            (agent ?OP ?FORCE)
            (instance ?FORCE MilitaryForce))))

If X is an instance of military process, then there exists Y such that Y is an agent of X and Y is an instance of military force

consequent

(=>
    (instance ?MV MilitaryVehicle)
    (exists (?A)
        (and
            (instance ?A MilitaryForce)
            (possesses ?A ?MV)
            (capability MilitaryProcess patient ?MV))))

statement

(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))

equal the fit for military service male of X and the number of instances in the class described by Y

(subclass MilitaryProcess PoliticalProcess)	Merge.kif 10968-10968	Military process is a subclass of political process
(subclass MilitaryProcess OrganizationalProcess)	Merge.kif 10969-10969	Military process is a subclass of organizational process
(documentation MilitaryProcess EnglishLanguage "Process that is carried out by a military organization. Note that this class covers Processes, e.g. military operations, that are the result of careful planning, as well as those which are unscripted.")	Merge.kif 10971-10973	Military process is a subclass of organizational process

(subclass MilitaryInfiltration MilitaryProcess)	Mid-level-ontology.kif 15474-15474	Military infiltration is a subclass of military process
(subclass MilitaryOperation MilitaryProcess)	Military.kif 23-23	Military operation is a subclass of military process
(subclass MilitaryRegrouping MilitaryProcess)	MilitaryProcesses.kif 2741-2741	Regrouping is a subclass of military process
(termFormat EnglishLanguage MilitaryProcess "military process")	english_format.kif 1425-1425	Regrouping is a subclass of military process