|
|
   Seat
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Seat EnglishLanguage "Any instance of Furniture which is designed to accommodate Humans who are Sitting.") | Mid-level-ontology.kif 3710-3711 | |
| (externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") | pictureList.kif 4818-4818 | |
| (subclass Seat Furniture) | Mid-level-ontology.kif 3709-3709 | Seat e' uma sub-classe de Furniture |
| appearance as argument number 2 |
|
|
| (subclass AuditoriumSeat Seat) | Mid-level-ontology.kif 7367-7367 | AuditoriumSeat e' uma sub-classe de Seat |
| (subclass Chair Seat) | Mid-level-ontology.kif 3722-3722 | Chair e' uma sub-classe de Seat |
| (subclass Recliner Seat) | Mid-level-ontology.kif 26225-26225 | Recliner e' uma sub-classe de Seat |
| (subclass Sofa Seat) | Mid-level-ontology.kif 3743-3743 | Sofa e' uma sub-classe de Seat |
| (termFormat ChineseLanguage Seat "座位") | domainEnglishFormat.kif 51737-51737 | |
| (termFormat ChineseTraditionalLanguage Seat "座位") | domainEnglishFormat.kif 51736-51736 | |
| (termFormat EnglishLanguage Seat "seat") | domainEnglishFormat.kif 51735-51735 |
| antecedent |
|
|
| (=> (instance ?S Seat) (hasPurpose ?S (exists (?H ?T) (and (instance ?H Human) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S))))))) |
Cars.kif 5002-5011 | |
| (=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON Sitting))))) |
Mid-level-ontology.kif 3713-3720 |
| consequent |
|
|
| (=> (instance ?AREA SittingArea) (exists (?SEAT) (and (instance ?SEAT Seat) (located ?SEAT ?AREA)))) |
Mid-level-ontology.kif 15561-15566 | |
| (=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 23449-23456 |
|
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 26162-26169 |
|
|
|
