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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15363-15363
(termFormat ChineseTraditionalLanguage CoastalAndGreatLakesPassengerTransportation "沿海和大湖泊客運") domainEnglishFormat.kif 15362-15362
(termFormat EnglishLanguage CoastalAndGreatLakesPassengerTransportation "coastal and great lakes passenger transportation") domainEnglishFormat.kif 15361-15361

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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