Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| 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 |
|