Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ShortSeaPassengerShip
ShortSeaPassengerShip(short sea passenger ship)

appearance as argument number 1
-------------------------


(subclass ShortSeaPassengerShip PassengerShip) Transportation.kif 2622-2622 Short sea passenger ship is a subclass of passenger ship
(externalImage ShortSeaPassengerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 70/ Hkstarferry.JPG") pictureList.kif 1984-1984 Short sea passenger ship is a subclass of passenger ship

appearance as argument number 2
-------------------------


(subclass FerryBoat ShortSeaPassengerShip) Transportation.kif 2735-2735 Ferry boat is a subclass of short sea passenger ship
(termFormat EnglishLanguage ShortSeaPassengerShip "short sea passenger ship") domainEnglishFormat.kif 52828-52828 Ferry boat is a subclass of short sea passenger ship
(termFormat ChineseTraditionalLanguage ShortSeaPassengerShip "近海客船") domainEnglishFormat.kif 52829-52829 Ferry boat is a subclass of short sea passenger ship
(termFormat ChineseLanguage ShortSeaPassengerShip "近海客船") domainEnglishFormat.kif 52830-52830 Ferry boat is a subclass of short sea passenger ship

consequent
-------------------------


(=>
    (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)))))))		 naics.kif 8156-8172 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
(=>
    (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 8204-8222 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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners