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 2468-2470
(externalImage CruiseShip "http://upload.wikimedia.org/wikipedia/en/b/b5/ Cruiseship_to_Alaska.JPG") pictureList.kif 2146-2146
(subclass CruiseShip PassengerShip) Transportation.kif 2467-2467 CruiseShip est une sous-classe de PassengerShip

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


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

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 2471-2480


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