Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FindMyIPhone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Surfing Sport) | Sports.kif 219-219 | Surfing is a subclass of sport |
| (subclass Surfing WaterSport) | Sports.kif 220-220 | Surfing is a subclass of water sport |
| (documentation Surfing EnglishLanguage "The sport of riding a surfboard towards the shore on the crest of a wave.") | Sports.kif 221-221 | Surfing is a subclass of water sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Surfing "surfing") | domainEnglishFormat.kif 65563-65563 |
| consequent |
|
|
| (=> (instance ?X Surfboard) (hasPurpose ?X (exists (?S) (and (instance ?S Surfing) (instrument ?S ?X))))) |
Sports.kif 225-231 | If X is an instance of surfboard, then X has the purpose there exists Y such that Y is an instance of surfing and X is an instrument for Y |
|