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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CruiseShip
CruiseShip

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


(documentation CruiseShip EnglishLanguage "CruiseShip is the subclass of PassengerShips designed for the purpose of carrying passengers on trips for entertainment.") Transportation.kif 2475-2477
(externalImage CruiseShip "http://upload.wikimedia.org/wikipedia/en/b/b5/ Cruiseship_to_Alaska.JPG") pictureList.kif 2147-2147
(subclass CruiseShip PassengerShip) Transportation.kif 2474-2474

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


(termFormat ChineseLanguage CruiseShip "游轮") domainEnglishFormat.kif 17907-17907
(termFormat ChineseTraditionalLanguage CruiseShip "遊輪") domainEnglishFormat.kif 17906-17906
(termFormat EnglishLanguage CruiseShip "cruise ship") domainEnglishFormat.kif 17905-17905

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 2478-2487


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