WaterTransportation
|
|
appearance as argument number 1 |
(documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.") | Mid-level-ontology.kif 17739-17740 | |
(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 17738-17738 | WaterTransportation e' uma sub-classe de Transporte |
appearance as argument number 2 |
(subclass Rowing WaterTransportation) | Mid-level-ontology.kif 17755-17755 | Rowing e' uma sub-classe de WaterTransportation |
(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 17742-17749 |
|
consequent |