Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutomobileSeat(auto seat) |  | death_seat |
| appearance as argument number 1 |
|
|
| (subclass AutomobileSeat VehicleSeat) | Cars.kif 4934-4934 | Auto seat is a subclass of vehicle seat |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileSeat "car seat") | Cars.kif 4935-4935 | |
| (termFormat EnglishLanguage AutomobileSeat "auto seat") | Cars.kif 4936-4936 |
| antecedent |
|
|
| (=> (instance ?S AutomobileSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V Automobile) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V))))))) |
Cars.kif 4938-4949 | If X is an instance of auto seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of automobile, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z |
|