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 3717-3718 | |
(externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") | pictureList.kif 4818-4818 | |
(subclass Seat Furniture) | Mid-level-ontology.kif 3716-3716 | 子類 座位 and 家具 |
appearance as argument number 2 |
(subclass AuditoriumSeat Seat) | Mid-level-ontology.kif 7339-7339 | 子類 禮堂座位 and 座位 |
(subclass Chair Seat) | Mid-level-ontology.kif 3729-3729 | 子類 椅子 and 座位 |
(subclass Recliner Seat) | Mid-level-ontology.kif 26180-26180 | 子類 Recliner and 座位 |
(subclass Sofa Seat) | Mid-level-ontology.kif 3750-3750 | 子類 沙發 and 座位 |
(termFormat ChineseLanguage Seat "座位") | domainEnglishFormat.kif 51735-51735 | |
(termFormat ChineseTraditionalLanguage Seat "座位") | domainEnglishFormat.kif 51734-51734 | |
(termFormat EnglishLanguage Seat "seat") | domainEnglishFormat.kif 51733-51733 |
antecedent |
(=> (instance ?S Seat) (hasPurpose ?S (exists (?H ?T) (and (instance ?H Human) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S))))))) |
Cars.kif 5025-5034 | |
(=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON Sitting))))) |
Mid-level-ontology.kif 3720-3727 |
consequent |
(=> (instance ?AREA SittingArea) (exists (?SEAT) (and (instance ?SEAT Seat) (located ?SEAT ?AREA)))) |
Mid-level-ontology.kif 15533-15538 | |
(=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 23396-23403 | |
(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 26117-26124 |