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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmphibiousReconnaissance
AmphibiousReconnaissance(amphibious reconnaissance)
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 755-758
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ f4/ 1944_NormandyLST.jpg") pictureList.kif 9901-9901 "http://upload.wikimedia.org/wikipedia/commons/f/f4/ 1944_NormandyLST.jpg" is a URL depicting amphibious reconnaissance
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ RoK_K1_88-Tank_landing_from_LCAC.jpg") pictureList.kif 10424-10424 "http://upload.wikimedia.org/wikipedia/commons/f/fc/ RoK_K1_88-Tank_landing_from_LCAC.jpg" is a URL depicting amphibious reconnaissance
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 754-754 Amphibious reconnaissance is a subclass of reconnaissance operation

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


(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance") domainEnglishFormat.kif 1646-1646 "amphibious reconnaissance" is the printable form of amphibious reconnaissance in english language

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


(=>
    (and
        (instance ?AR AmphibiousReconnaissance)
        (agent ?AR ?AGENT))
    (exists (?LANDING)
        (and
            (subProcess ?LANDING ?AR)
            (instance ?LANDING LandingWaterLand)
            (agent ?LANDING ?AGENT))))
MilitaryProcesses.kif 771-779
(=>
    (instance ?AR AmphibiousReconnaissance)
    (exists (?AMPHCRAFT)
        (and
            (instance ?AMPHCRAFT AmphibiousVehicle)
            (instrument ?AR ?AMPHCRAFT))))
MilitaryProcesses.kif 762-767

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


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


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