Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterBoard(water board) |
| appearance as argument number 1 |
|
| (subclass WaterBoard BoardOrBlock) | Sports.kif 1293-1293 | Water board is a subclass of board or block |
| (documentation WaterBoard EnglishLanguage "WaterBoard is a type of narrowly formed BoardOrBlock that is meant to float on water and is commonly used in WaterSport") | Sports.kif 1294-1295 | Water board is a subclass of board or block |
| appearance as argument number 2 |
|
|
| (subclass Surfboard WaterBoard) | Sports.kif 222-222 | Surfboard is a subclass of water board |
| (termFormat EnglishLanguage WaterBoard "water board") | Sports.kif 1296-1296 | Surfboard is a subclass of water board |
| (subclass WindSurfingBoard WaterBoard) | Sports.kif 1306-1306 | Wind surfing board is a subclass of water board |
| antecedent |
|
|
| (=> (instance ?X WaterBoard) (hasPurpose ?X (exists (?WS) (and (instance ?WS WaterSport) (instrument ?WS ?X))))) |
Sports.kif 1298-1304 | If X is an instance of water board, then X has the purpose there exists Y such that Y is an instance of water sport and X is an instrument for Y |
|