LandingWaterLand |
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 | LandingWaterLand ist eine teilkategorie von Translocation |
appearance as argument number 2 |
(termFormat ChineseLanguage LandingWaterLand "登陆水域") | domainEnglishFormat.kif 33229-33229 | |
(termFormat ChineseTraditionalLanguage LandingWaterLand "登陸水域") | domainEnglishFormat.kif 33228-33228 | |
(termFormat EnglishLanguage LandingWaterLand "landing water land") | domainEnglishFormat.kif 33227-33227 | |
(termFormat EnglishLanguage LandingWaterLand "landing") | MilitaryProcesses.kif 2805-2805 |
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 |
|
(=> (instance ?VEHICLE AmphibiousVehicle) (capability LandingWaterLand instrument ?VEHICLE)) |
MilitaryDevices.kif 2026-2028 |
|