WaterTransportation
|
|
appearance as argument number 1 |
(documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.") | Mid-level-ontology.kif 17740-17741 | |
(externalImage WaterTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ BW_4/ water_transportation.png") | pictureList.kif 833-833 | |
(subclass WaterTransportation Transportation) | Mid-level-ontology.kif 17739-17739 | 子類 水運 and Transportation |
appearance as argument number 2 |
(subclass Rowing WaterTransportation) | Mid-level-ontology.kif 17756-17756 | 子類 划船 and 水運 |
(termFormat ChineseLanguage WaterTransportation "水运") | domainEnglishFormat.kif 62487-62487 | |
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") | domainEnglishFormat.kif 62486-62486 | |
(termFormat EnglishLanguage WaterTransportation "water transportation") | domainEnglishFormat.kif 62485-62485 |
antecedent |
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA)))) |
Mid-level-ontology.kif 17743-17750 |
consequent |