Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MotorcycleHelmet(motorcycle helmet) |
| appearance as argument number 1 |
|
| (subclass MotorcycleHelmet Helmet) | Cars.kif 4271-4271 | Motorcycle helmet is a subclass of helmet |
| (documentation MotorcycleHelmet EnglishLanguage "A Helmet designed to be worn by the driver of a Motorcycle.") | Cars.kif 4272-4273 | Motorcycle helmet is a subclass of helmet |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MotorcycleHelmet "motorcycle helmet") | Cars.kif 4274-4274 | |
| (subclass IconHelmet MotorcycleHelmet) | Cars.kif 5046-5046 | Icon helmet is a subclass of motorcycle helmet |
| antecedent |
|
|
| (=> (instance ?MH MotorcycleHelmet) (hasPurpose ?MH (exists (?P ?D ?M) (and (instance ?D Driving) (agent ?D ?P) (instance ?M Motorcycle) (patient ?D ?M) (instance ?P Human) (holdsDuring (WhenFn ?D) (wears ?P ?MH)))))) |
Cars.kif 4276-4287 | If X is an instance of motorcycle helmet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of driving (3) Y is an agent of Z (4) W is an instance of motorcycle (5) W is a patient of Z (6) Y is an instance of human (7) Y wears X holds during the time of existence of Z |
|