LandingWaterLand - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LandingWaterLand EnglishLanguage "The act of coming to land after a voyage.")	MilitaryProcesses.kif 809-809
(subclass LandingWaterLand Translocation)	MilitaryProcesses.kif 808-808

appearance as argument number 2

(termFormat ChineseLanguage LandingWaterLand "登陆水域")	domainEnglishFormat.kif 33240-33240
(termFormat ChineseTraditionalLanguage LandingWaterLand "登陸水域")	domainEnglishFormat.kif 33239-33239
(termFormat EnglishLanguage LandingWaterLand "landing water land")	domainEnglishFormat.kif 33238-33238
(termFormat EnglishLanguage LandingWaterLand "landing")	MilitaryProcesses.kif 2927-2927

antecedent

(=>
    (instance ?LAND LandingWaterLand)
    (exists (?REGION ?WATERTRANS)
        (and
            (instance ?REGION LandArea)
            (destination ?LAND ?REGION)
            (subProcess ?WATERTRANS ?LAND)
            (instance ?WATERTRANS WaterTransportation))))

MilitaryProcesses.kif 811-818

consequent

(=>
    (and
        (instance ?AR AmphibiousReconnaissance)
        (agent ?AR ?AGENT))
    (exists (?LANDING)
        (and
            (subProcess ?LANDING ?AR)
            (instance ?LANDING LandingWaterLand)
            (agent ?LANDING ?AGENT))))

MilitaryProcesses.kif 782-790