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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoastalAndGreatLakesPassengerTransportation

Sigma KEE - CoastalAndGreatLakesPassengerTransportation
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

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


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