LandingWaterLand - Sigma Knowledge base Browser

appearance as argument number 1

(subclass LandingWaterLand Translocation)	MilitaryProcesses.kif 830-830	Landing water land is a subclass of translocation
(documentation LandingWaterLand EnglishLanguage "The act of coming to land after a voyage.")	MilitaryProcesses.kif 831-831	Landing water land is a subclass of translocation

appearance as argument number 2

(termFormat EnglishLanguage LandingWaterLand "landing")	MilitaryProcesses.kif 2968-2968
(termFormat EnglishLanguage LandingWaterLand "landing water land")	domainEnglishFormat.kif 33231-33231
(termFormat ChineseTraditionalLanguage LandingWaterLand "登陸水域")	domainEnglishFormat.kif 33232-33232
(termFormat ChineseLanguage LandingWaterLand "登陆水域")	domainEnglishFormat.kif 33233-33233

antecedent

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

If X is an instance of landing water land, then there exist Y, Z such that Y is an instance of land area, X ends up at Y, Z is a subprocess of X, and Z is an instance of water transportation

consequent

(=> (instance ?VEHICLE AmphibiousVehicle) (capability LandingWaterLand instrument ?VEHICLE))	MilitaryDevices.kif 2179-2181	If X is an instance of amphibious vehicle, then X is capable of doing landing water land as a instrument
(=> (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?AGENT)) (exists (?LANDING) (and (subProcess ?LANDING ?AR) (instance ?LANDING LandingWaterLand) (agent ?LANDING ?AGENT))))	MilitaryProcesses.kif 804-812	If X is an instance of amphibious reconnaissance and Y is an agent of X, then there exists Z such that Z is a subprocess of X, Z is an instance of landing water land, and Y is an agent of Z