TreeView Knowledge Base Browser - MilitaryOperation

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

MilitaryOperation

Sigma KEE - MilitaryOperation

MilitaryOperation

appearance as argument number 1

(documentation MilitaryOperation EnglishLanguage "A MilitaryOperation is distinguished from the broader class of MilitaryProcess in that it is planned in advance.")	Military.kif 19-21
(subclass MilitaryOperation MilitaryProcess)	Military.kif 23-23	MilitaryOperation ist eine teilkategorie von MilitaryProcess

appearance as argument number 2

(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2432-2432	bildbereich von AbortedMissionFn ist ein fall von MilitaryOperation {nicht}
(subclass CivilAffairsActivity MilitaryOperation)	MilitaryProcesses.kif 2362-2362	CivilAffairsActivity ist eine teilkategorie von MilitaryOperation
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation ist eine teilkategorie von MilitaryOperation
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	DirectActionActivity ist eine teilkategorie von MilitaryOperation
(subclass FoodDistributionOperation MilitaryOperation)	Military.kif 49-49	FoodDistributionOperation ist eine teilkategorie von MilitaryOperation
(subclass ForeignInternalDefense MilitaryOperation)	MilitaryProcesses.kif 1905-1905	ForeignInternalDefense ist eine teilkategorie von MilitaryOperation
(subclass InformationOperation MilitaryOperation)	MilitaryProcesses.kif 1850-1850	InformationOperation ist eine teilkategorie von MilitaryOperation
(subclass JointOperation MilitaryOperation)	MilitaryProcesses.kif 1716-1716	JointOperation ist eine teilkategorie von MilitaryOperation
(subclass MilitaryAssault MilitaryOperation)	MilitaryProcesses.kif 422-422	MilitaryAssault ist eine teilkategorie von MilitaryOperation
(subclass OperationPlanning MilitaryOperation)	MilitaryProcesses.kif 1521-1521	OperationPlanning ist eine teilkategorie von MilitaryOperation
(subclass PsychologicalOperation MilitaryOperation)	MilitaryProcesses.kif 1105-1105	PsychologicalOperation ist eine teilkategorie von MilitaryOperation
(subclass ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	ReconnaissanceOperation ist eine teilkategorie von MilitaryOperation
(subclass SecurityOperation MilitaryOperation)	Military.kif 80-80	SecurityOperation ist eine teilkategorie von MilitaryOperation
(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	SpecialOperation ist eine teilkategorie von MilitaryOperation
(termFormat ChineseLanguage MilitaryOperation "军事行动")	domainEnglishFormat.kif 37673-37673
(termFormat ChineseTraditionalLanguage MilitaryOperation "軍事行動")	domainEnglishFormat.kif 37672-37672
(termFormat EnglishLanguage MilitaryOperation "military operation")	domainEnglishFormat.kif 37671-37671

appearance as argument number 3

(domain AbortedMissionFn 2 MilitaryOperation)	MilitaryProcesses.kif 2431-2431	Die Zahl 2 Argument von AbortedMissionFn ist ein fall von MilitaryOperation %n{nicht}
(domain areaOfOperation 2 MilitaryOperation)	MilitaryProcesses.kif 1315-1315	Die Zahl 2 Argument von areaOfOperation ist ein fall von MilitaryOperation %n{nicht}

antecedent

(=> (and (instance ?OP MilitaryOperation) (eventLocated ?OP ?REGION) (instance ?REGION Region)) (areaOfOperation ?REGION ?OP))	MilitaryProcesses.kif 1326-1331	Wenn MilitaryOperation ist ein fall von MilitaryOperation %n{nicht} und eventLocated MilitaryOperation and Region und Region ist ein fall von Region %n{nicht}, dann areaOfOperation Region and MilitaryOperation
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	Wenn Entity ist ein fall von OPLAN %n{nicht} und Entity drueckt Process aus und Process ist ein fall von MilitaryOperation %n{nicht} und ProcessSUB ist ein subProzess von Process, dann Entity drueckt ProcessSUB aus
(=> (and (instance ?ORDER OperationOrder) (instance ?OPERATION MilitaryOperation)) (hasPurpose ?ORDER (coordinates ?ORDER ?OPERATION)))	MilitaryProcesses.kif 1678-1683	Wenn Physical ist ein fall von OperationOrder %n{nicht} und Entity ist ein fall von MilitaryOperation %n{nicht}, dann Physical hat Zweck von coordinates Physical and ** Entity %n{nicht}
(=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP))	MilitaryProcesses.kif 1573-1580	Wenn Proposition ist ein fall von OperationPlan %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und Process ist ein fall von MilitaryOperation %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht}, dann Proposition drueckt Process aus
(=> (instance ?MO MilitaryOperation) (exists (?PLAN) (and (instance ?PLAN Plan) (represents ?PLAN ?MO))))	Military.kif 25-30	Wenn Entity ist ein fall von MilitaryOperation %n{nicht}, dann es gibt Entity um Entity ist ein fall von Plan %n{nicht} und Entity drueckt Entity aus

consequent

(=> (and (instance ?SHN SupportHNAssistance) (experiencer ?SHN ?HN) (instance ?HN HostNation)) (exists (?OP) (and (instance ?OP MilitaryOperation) (instance ?OP Helping) (experiencer ?OP ?HN) (patient ?SHN ?OP))))	MilitaryProcesses.kif 1293-1303	Wenn Process ist ein fall von SupportHNAssistance %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und AutonomousAgent ist ein fall von HostNation %n{nicht}, dann es gibt Process um Process ist ein fall von MilitaryOperation %n{nicht} und Process ist ein fall von Helping %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Process ist ein patient von ** Process %n{nicht}
(=> (instance ?CO CounterOperation) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS MilitaryOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2174-2184	Wenn Physical ist ein fall von CounterOperation %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um Physical ist der agent von entity %n{nicht} und enemy entity and entity und entity ist eine teilkategorie von MilitaryOperation und entity ist ein fall von entity %n{nicht} und entity ist der agent von entity %n{nicht} und Physical verhindert das Auftreten von entity %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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