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 766-769
(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 765-765 Amphibious reconnaissance is a subclass of reconnaissance operation

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


(termFormat ChineseLanguage AmphibiousReconnaissance "两栖侦察") domainEnglishFormat.kif 7279-7279 "两栖侦察" is the printable form of amphibious reconnaissance in ChineseLanguage
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissance "兩棲偵察") domainEnglishFormat.kif 7278-7278 "兩棲偵察" is the printable form of amphibious reconnaissance in ChineseTraditionalLanguage
(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance") domainEnglishFormat.kif 7277-7277 "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 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