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	Landing water land is a subclass of translocation

appearance as argument number 2

(termFormat ChineseLanguage LandingWaterLand "登陆水域")	domainEnglishFormat.kif 33263-33263
(termFormat ChineseTraditionalLanguage LandingWaterLand "登陸水域")	domainEnglishFormat.kif 33262-33262
(termFormat EnglishLanguage LandingWaterLand "landing water land")	domainEnglishFormat.kif 33261-33261
(termFormat EnglishLanguage LandingWaterLand "landing")	MilitaryProcesses.kif 2944-2944

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	If a process is an instance of amphibious reconnaissance and an agent is an agent of the process, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of landing water land and the agent is an agent of the other process
(=> (instance ?VEHICLE AmphibiousVehicle) (capability LandingWaterLand instrument ?VEHICLE))	MilitaryDevices.kif 2026-2028	If an object is an instance of amphibious vehicle, then the object is capable of doing landing water land as a instrument