TreeView Knowledge Base Browser - DeepSeaPassengerTransportation

antecedent

(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y DeepSeaPassengerTransportation))
    (exists (?CRUISE ?SHIP)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE WorldOcean)
            (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 deep sea passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z (2) W 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 world ocean (7) there doesn't exist V such that V is an instance of short sea passenger ship (8) equal W (9) V

(subAttribute DeepSeaPassengerTransportation DeepSeaCoastalAndGreatLakesWaterTransportation)	naics.kif 8149-8149	Deep sea passenger transportation is a subattribute of deep sea coastal and great lakes water transportation
(documentation DeepSeaPassengerTransportation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Deep Sea Passenger Transportation or Deep Sea Transportation of Passengers, Except by Ferry (deep sea activities).")	naics.kif 8151-8154	Deep sea passenger transportation is a subattribute of deep sea coastal and great lakes water transportation

(termFormat EnglishLanguage DeepSeaPassengerTransportation "deep sea passenger transportation")	domainEnglishFormat.kif 18870-18870
(termFormat ChineseTraditionalLanguage DeepSeaPassengerTransportation "深海客運")	domainEnglishFormat.kif 18871-18871
(termFormat ChineseLanguage DeepSeaPassengerTransportation "深海客运")	domainEnglishFormat.kif 18872-18872