MilitaryProcess - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MilitaryProcess ChineseLanguage "这是由军事机构执行的任何 Process。注：这个类别包括 Process，例如经过精心策划和那些没有预备的军事行动。")	chinese_format.kif 2967-2968
(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 10876-10878
(documentation MilitaryProcess JapaneseLanguage "任意の Process は、軍事組織によって実行される。このクラスは、慎重な計画の結果である軍事演習などの %Process と、スクリプト化されていない %Process を対象としている。")	japanese_format.kif 1724-1726
(subclass MilitaryProcess OrganizationalProcess)	Merge.kif 10874-10874	Military process is a subclass of organizational process
(subclass MilitaryProcess PoliticalProcess)	Merge.kif 10873-10873	Military process is a subclass of political process

appearance as argument number 2

(subclass MilitaryInfiltration MilitaryProcess)	Mid-level-ontology.kif 14880-14880	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 2716-2716	Regrouping is a subclass of military process
(termFormat ChineseLanguage MilitaryProcess "军事过程")	chinese_format.kif 1104-1104	Regrouping is a subclass of military process
(termFormat EnglishLanguage MilitaryProcess "military process")	english_format.kif 1425-1425	Regrouping is a subclass of military process
(termFormat FrenchLanguage MilitaryProcess "processus militaire")	french_format.kif 782-782	Regrouping is a subclass of military process
(termFormat Hindi MilitaryProcess "sainya prakriyaa")	terms-hindi.txt 314-314	Regrouping is a subclass of military process
(termFormat ItalianLanguage MilitaryProcess "ProcessoMilitare")	terms-it.txt 317-317	Regrouping is a subclass of military process
(termFormat JapaneseLanguage MilitaryProcess "軍事プロセス")	japanese_format.kif 2466-2466	Regrouping is a subclass of military process
(termFormat PortugueseLanguage MilitaryProcess "Processo Militar")	portuguese_format.kif 734-734	Regrouping is a subclass of military process
(termFormat cz MilitaryProcess "military process")	terms-cz.txt 353-353	Regrouping is a subclass of military process
(termFormat de MilitaryProcess "militaerischer Prozess")	terms-de.txt 612-612	Regrouping is a subclass of military process
(termFormat ro MilitaryProcess "proces militar")	relations-ro.kif 803-803	Regrouping is a subclass of military process
(termFormat tg MilitaryProcess "paraan ng militar")	terms-tg.txt 318-318	Regrouping is a subclass of military process

appearance as argument number 3

(domainSubclass fitForMilitaryService 2 MilitaryProcess)

Military.kif 969-969

The number 2 argument of fit for military service is a subclass of military process

antecedent

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

MilitaryProcesses.kif 1514-1519

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

consequent

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

Military.kif 264-269

If an object is an instance of military vehicle,
then an agent is an instance of military force and the agent possesses the object and the object is capable of doing military process as a patient

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)))))

Military.kif 953-964

The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string

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: