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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmphibiousReconnaissance
AmphibiousReconnaissance

appearance as argument number 1
-------------------------


(documentation AmphibiousReconnaissance EnglishLanguage "An amphibious landing conducted by minor elements, normally involving stealth rather than force of arms, for the purpose of securing information, and usually followed by a planned withdrawal.") MilitaryProcesses.kif 766-769
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ f4/ 1944_NormandyLST.jpg") pictureList.kif 9901-9901
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ RoK_K1_88-Tank_landing_from_LCAC.jpg") pictureList.kif 10424-10424
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 765-765

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


(termFormat ChineseLanguage AmphibiousReconnaissance "两栖侦察") domainEnglishFormat.kif 7279-7279
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissance "兩棲偵察") domainEnglishFormat.kif 7278-7278
(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance") domainEnglishFormat.kif 7277-7277

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


(=>
    (and
        (instance ?AR AmphibiousReconnaissance)
        (agent ?AR ?AGENT))
    (exists (?LANDING)
        (and
            (subProcess ?LANDING ?AR)
            (instance ?LANDING LandingWaterLand)
            (agent ?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
(=>
    (instance ?AR AmphibiousReconnaissance)
    (exists (?AMPHCRAFT)
        (and
            (instance ?AMPHCRAFT AmphibiousVehicle)
            (instrument ?AR ?AMPHCRAFT))))
MilitaryProcesses.kif 773-778

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


(=>
    (instance ?ARU AmphibiousReconnaissanceUnit)
    (hasPurpose ?ARU
        (exists (?AR)
            (and
                (instance ?AR AmphibiousReconnaissance)
                (agent ?AR ?ARU)))))
MilitaryProcesses.kif 800-806


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners