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


KB Term:  Term intersection
English Word: 

  CruiseShip

 Sigma KEE - CruiseShip
CruiseShip(cruise ship)
cruise_liner, cruise_ship

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


(subclass CruiseShip PassengerShip) Transportation.kif 2707-2707 Cruise ship is a subclass of passenger ship
(documentation CruiseShip EnglishLanguage "CruiseShip is the subclass of PassengerShips designed for the purpose of carrying passengers on trips for entertainment.") Transportation.kif 2708-2710 Cruise ship is a subclass of passenger ship
(externalImage CruiseShip "http://upload.wikimedia.org/wikipedia/en/b/b5/ Cruiseship_to_Alaska.JPG") pictureList.kif 2145-2145 Cruise ship is a subclass of passenger ship

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


(termFormat EnglishLanguage CruiseShip "cruise ship") domainEnglishFormat.kif 17916-17916
(termFormat ChineseTraditionalLanguage CruiseShip "遊輪") domainEnglishFormat.kif 17917-17917
(termFormat ChineseLanguage CruiseShip "游轮") domainEnglishFormat.kif 17918-17918

antecedent
-------------------------


(=>
    (instance ?C CruiseShip)
    (hasPurpose ?C
        (exists (?E ?A ?O)
            (and
                (instance ?E RecreationOrExercise)
                (possesses ?O ?C)
                (agent ?E ?A)
                (customer ?O ?A)
                (eventLocated ?E ?C)))))		 Transportation.kif 2711-2720 If X is an instance of cruise ship, then X has the purpose there exist Y, Z, W such that Y is an instance of recreation or exercise, W possesses X, Z is an agent of Y, Z is a customer of W, and Y is located at X


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