WaterTransportationService(Water Transportation Service) |
appearance as argument number 1 |
(documentation WaterTransportationService EnglishLanguage "A TransportationService that involves WaterTransportation") | Transportation.kif 3563-3564 | |
(subclass WaterTransportationService TransportationService) | Transportation.kif 3562-3562 | Water Transportation Service is a subclass of transportation service |
appearance as argument number 2 |
(termFormat EnglishLanguage WaterTransportationService "Water Transportation Service") | Transportation.kif 3565-3565 |
antecedent |
consequent |
(=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica)))) |
naics.kif 8120-8130 |
|