TreeView Knowledge Base Browser - CoastalAndGreatLakesPassengerTransportation

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)))))))

If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states (9) there doesn't exist U such that U is an instance of short sea passenger ship (10) equal W (11) U

(subAttribute CoastalAndGreatLakesPassengerTransportation DeepSeaCoastalAndGreatLakesWaterTransportation)	naics.kif 8196-8196	Coastal and great lakes passenger transportation is a subattribute of deep sea coastal and great lakes water transportation
(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 8198-8202	Coastal and great lakes passenger transportation is a subattribute of deep sea coastal and great lakes water transportation

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