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 |
|
| s__subclass(s__MotorcycleHelmet,s__Helmet)
|
Cars.kif 4271-4271 | Motorcycle helmet is a subclass of helmet |
| s__documentation(s__MotorcycleHelmet, s__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 |
|
|
| s__termFormat(s__EnglishLanguage, s__MotorcycleHelmet, "motorcycle helmet") | Cars.kif 4274-4274 | |
| s__subclass(s__IconHelmet,s__MotorcycleHelmet)
|
Cars.kif 5046-5046 | Icon helmet is a subclass of motorcycle helmet |
| antecedent |
|
|
| ! [V__MH : $i] : ((s__instance(V__MH, s__MotorcycleHelmet) => s__hasPurpose(V__MH, ( ? [V__P:$i, V__D:$i, V__M:$i] : ((s__instance(V__D, s__Driving) & s__agent(V__D, V__P) & s__instance(V__M, s__Motorcycle) & s__patient(V__D, V__M) & s__instance(V__P, s__Human) & s__holdsDuring(s__WhenFn(V__D), s__wears(V__P, V__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 |
|