TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	Special operation is a subclass of military operation
(documentation SpecialOperation EnglishLanguage "Operations conducted in hostile, denied, or politically sensitive environments to achieve military, diplomatic, informational, and/ or economic objectives employing military capabilities for which there is no broad conventional force requirement. These operations often require covert, clandestine, or low visibility capabilities. Special operations are applicable across the range of military operations. They can be conducted independently or in conjunction with operations of conventional forces or other government agencies and may include operations through, with, or by indigenous or surrogate forces. Special operations differ from conventional operations in degree of physical and political risk, operational techniques, mode of employment, independence from friendly support, and dependence on detailed operational intelligence and indigenous assets. Also called SO.")	MilitaryProcesses.kif 273-286	Special operation is a subclass of military operation

appearance as argument number 2

(subclass SpecialReconnaissance SpecialOperation)	MilitaryProcesses.kif 18-18	Special reconnaissance is a subclass of special operation
(subclass UnconventionalWarfare SpecialOperation)	MilitaryProcesses.kif 131-131	Unconventional warfare is a subclass of special operation
(subclass DirectAction SpecialOperation)	MilitaryProcesses.kif 324-324	Direct action is a subclass of special operation
(termFormat EnglishLanguage SpecialOperation "special operation")	domainEnglishFormat.kif 54535-54535	Direct action is a subclass of special operation
(termFormat ChineseTraditionalLanguage SpecialOperation "特別行動")	domainEnglishFormat.kif 54536-54536	Direct action is a subclass of special operation
(termFormat ChineseLanguage SpecialOperation "特别行动")	domainEnglishFormat.kif 54537-54537	Direct action is a subclass of special operation

antecedent

(=>
    (instance ?OP SpecialOperation)
    (exists (?CONDUCTING ?SPFORCE)
        (and
            (instance ?CONDUCTING Guiding)
            (patient ?CONDUCTING ?OP)
            (agent ?CONDUCTING ?SPFORCE)
            (instance ?SPFORCE SpecialOperationsForces))))

If X is an instance of special operation, then there exist Y, Z such that Y is an instance of guiding, X is a patient of Y, Z is an agent of Y, and Z is an instance of special operations forces

consequent

(=>
    (attribute ?P SEAL)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S SpecialOperation)
                (agent ?S ?P)))))