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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmphibiousReconnaissance
AmphibiousReconnaissance(amphibious reconnaissance)

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 9883-9883
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ RoK_K1_88-Tank_landing_from_LCAC.jpg") pictureList.kif 10403-10403
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 765-765 Amphibious reconnaissance is a subclass of reconnaissance operation

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


(termFormat ChineseLanguage AmphibiousReconnaissance "两栖侦察") domainEnglishFormat.kif 7272-7272
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissance "兩棲偵察") domainEnglishFormat.kif 7271-7271
(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance") domainEnglishFormat.kif 7270-7270

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 3.0 is open source software produced by Articulate Software and its partners