Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CoastalAndGreatLakesPassengerTransportation

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 subAttribute CoastalAndGreatLakesPassengerTransportation and DeepSeaCoastalAndGreatLakesWaterTransportation

appearance as argument number 2

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


        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
                (exists (?FERRY)
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8207-8225

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners