| 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 33127-33127 | |
| (termFormat ChineseTraditionalLanguage LandingWaterLand "登陸水域") | domainEnglishFormat.kif 33126-33126 | |
| (termFormat EnglishLanguage LandingWaterLand "landing water land") | domainEnglishFormat.kif 33125-33125 | |
| (termFormat EnglishLanguage LandingWaterLand "landing") | MilitaryProcesses.kif 2710-2710 |
| 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 |
|
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