Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Seat(seat)
|  | bench, bicycle_seat, box, box_seat, hassock, ottoman, pouf, pouffe, puff, saddle, saddle_seat, seat, toilet_seat |
| appearance as argument number 1 |
|
|
| (subclass Seat Furniture) | Mid-level-ontology.kif 4362-4362 | Seat is a subclass of furniture |
| (documentation Seat EnglishLanguage "Any instance of Furniture which is designed to accommodate Humans who are Sitting.") | Mid-level-ontology.kif 4363-4364 | Seat is a subclass of furniture |
| (externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") | pictureList.kif 4817-4817 | Seat is a subclass of furniture |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON Sitting))))) |
Mid-level-ontology.kif 4366-4373 | If X is an instance of seat, then X has the purpose there exists Y such that Y is an instance of human, Y is located at X, and sitting is an attribute of Y |
| (=> (instance ?S Seat) (hasPurpose ?S (exists (?H ?T) (and (instance ?H Human) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S))))))) |
Cars.kif 4909-4918 | If X is an instance of seat, then X has the purpose there exist Y, Z such that Y is an instance of human, sitting is an attribute of Y, and Y is located at X holds during Z |
| consequent |
|
|
| (=> (instance ?AREA SittingArea) (exists (?SEAT) (and (instance ?SEAT Seat) (located ?SEAT ?AREA)))) |
Mid-level-ontology.kif 17133-17138 | If X is an instance of sitting area, then there exists Y such that Y is an instance of seat and Y is located at X |
| (=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 25715-25722 | If X is an instance of seating, then there exist Y, Z such that Z experiences X, Z is an instance of human, X ends up at Y, and Y is an instance of seat |
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 28699-28706 | If X is an instance of wheelchair, then there exist Y, Z such that Z is an instance of seat, Y is an instance of wheel, Z is a part of X, and Y is a part of X |
|