Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryProcess
MilitaryProcess(processus militaire)

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 10951-10953
(documentation MilitaryProcess JapaneseLanguage "任意の Process は、軍事組織によって実行さ れる。このクラスは、慎重な計画の結果である軍事演習などの %Process と、スクリプト化されていない %Process を対象としている。") japanese_format.kif 1724-1726
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10949-10949 Processus militaire est une sous-classe de processus organisationnel
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10948-10948 Processus militaire est une sous-classe de processus polotique

appearance as argument number 2
-------------------------


(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 15323-15323 MilitaryInfiltration est une sous-classe de processus militaire
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 MilitaryOperation est une sous-classe de processus militaire
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2718-2718 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat ChineseLanguage MilitaryProcess "军事过程") chinese_format.kif 1104-1104 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat EnglishLanguage MilitaryProcess "military process") english_format.kif 1425-1425 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat FrenchLanguage MilitaryProcess "processus militaire") french_format.kif 782-782 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat Hindi MilitaryProcess "sainya prakriyaa") terms-hindi.txt 314-314 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat ItalianLanguage MilitaryProcess "ProcessoMilitare") terms-it.txt 317-317 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat JapaneseLanguage MilitaryProcess "軍事プロセス") japanese_format.kif 2466-2466 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat PortugueseLanguage MilitaryProcess "Processo Militar") portuguese_format.kif 734-734 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat cz MilitaryProcess "military process") terms-cz.txt 353-353 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat de MilitaryProcess "militaerischer Prozess") terms-de.txt 612-612 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat ro MilitaryProcess "proces militar") relations-ro.kif 803-803 MilitaryRegrouping est une sous-classe de processus militaire
(termFormat tg MilitaryProcess "paraan ng militar") terms-tg.txt 318-318 MilitaryRegrouping est une sous-classe de processus militaire

appearance as argument number 3
-------------------------


(domainSubclass fitForMilitaryService 2 MilitaryProcess) Military.kif 979-979 Le nombre 2 argument de fitForMilitaryService est une sous-classe de processus militaire

antecedent
-------------------------


(=>
    (instance ?OP MilitaryProcess)
    (exists (?FORCE)
        (and
            (agent ?OP ?FORCE)
            (instance ?FORCE MilitaryForce))))
MilitaryProcesses.kif 1514-1519

consequent
-------------------------


(=>
    (instance ?MV MilitaryVehicle)
    (and
        (instance ?A MilitaryForce)
        (possesses ?A ?MV)
        (capability MilitaryProcess patient ?MV)))
Military.kif 274-279

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 963-974 equal FitForMilitaryServiceMaleFn secteur g�opolitique and le nombre d' instances dans la classe d�crite par cha�ne sympbolique


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