WaterTransportation![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.") | Mid-level-ontology.kif 17156-17157 | |
(externalImage WaterTransportation "http://www.adampease.org/Articulate/ SUMOpictures/ pictures/ signs_symbol/ BW/ BW_4/ water_transportation.png") | pictureList.kif 833-833 | |
(subclass WaterTransportation Transportation) | Mid-level-ontology.kif 17155-17155 |
appearance as argument number 2 |
![]() |
(subclass Rowing WaterTransportation) | Mid-level-ontology.kif 17172-17172 | |
(termFormat ChineseLanguage WaterTransportation "水运") | domainEnglishFormat.kif 62454-62454 | |
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") | domainEnglishFormat.kif 62453-62453 | |
(termFormat EnglishLanguage WaterTransportation "water transportation") | domainEnglishFormat.kif 62452-62452 |
antecedent |
![]() |
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA)))) |
Mid-level-ontology.kif 17159-17166 |
consequent |
![]() |
![]() |
![]() |