CoastalAndGreatLakesPassengerTransportation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CoastalAndGreatLakesPassengerTransportation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Coastal and Great Lakes Passenger Transportation or Domestic Deep Sea Transportation of Passengers, Except by Ferry (coastal activities).")	naics.kif 8201-8205
(subAttribute CoastalAndGreatLakesPassengerTransportation DeepSeaCoastalAndGreatLakesWaterTransportation)	naics.kif 8199-8199	CoastalAndGreatLakesPassengerTransportation è un sottoattributo di DeepSeaCoastalAndGreatLakesWaterTransportation

appearance as argument number 2

(termFormat ChineseLanguage CoastalAndGreatLakesPassengerTransportation "沿海和大湖泊客运")	domainEnglishFormat.kif 15360-15360
(termFormat ChineseTraditionalLanguage CoastalAndGreatLakesPassengerTransportation "沿海和大湖泊客運")	domainEnglishFormat.kif 15359-15359
(termFormat EnglishLanguage CoastalAndGreatLakesPassengerTransportation "coastal and great lakes passenger transportation")	domainEnglishFormat.kif 15358-15358

antecedent

(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))

naics.kif 8207-8225