Seat - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Seat

Seat(seat)

bench, bicycle_seat, box, box_seat, hassock, ottoman, pouf, pouffe, puff, saddle, saddle_seat, seat, toilet_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 3783-3784
(externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg")	pictureList.kif 4817-4817
(subclass Seat Furniture)	Mid-level-ontology.kif 3782-3782	Seat is a subclass of furniture

appearance as argument number 2

(subclass AuditoriumSeat Seat)	Mid-level-ontology.kif 8113-8113	Auditorium seat is a subclass of seat
(subclass Chair Seat)	Mid-level-ontology.kif 3795-3795	Chair is a subclass of seat
(subclass Recliner Seat)	Mid-level-ontology.kif 27287-27287	Recliner is a subclass of seat
(subclass Sofa Seat)	Mid-level-ontology.kif 3816-3816	Sofa is a subclass of seat
(termFormat ChineseLanguage Seat "座位")	domainEnglishFormat.kif 51768-51768	Sofa is a subclass of seat
(termFormat ChineseTraditionalLanguage Seat "座位")	domainEnglishFormat.kif 51767-51767	Sofa is a subclass of seat
(termFormat EnglishLanguage Seat "seat")	domainEnglishFormat.kif 51766-51766	Sofa is a subclass of seat

antecedent

(=> (instance ?S Seat) (hasPurpose ?S (exists (?H ?T) (and (instance ?H Human) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S)))))))	Cars.kif 5078-5087	If a physical is an instance of seat, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and sitting is an attribute of the entity and the entity is located at the physical holds during the other entity
(=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON Sitting)))))	Mid-level-ontology.kif 3786-3793	If a physical is an instance of seat, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity is located at the physical and sitting is an attribute of the entity

consequent

(=> (instance ?AREA SittingArea) (exists (?SEAT) (and (instance ?SEAT Seat) (located ?SEAT ?AREA))))	Mid-level-ontology.kif 16462-16467	If an object is an instance of sitting area, then there exists a physical such that the physical is an instance of seat and the physical is located at the object
(=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat))))	Mid-level-ontology.kif 24511-24518	If a process is an instance of seating, then there exist an entity and an agent such that the agent experiences the process and the agent is an instance of human and the process ends up at the entity and the entity 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 27224-27231	If an object is an instance of wheelchair, then there exist another object and a third object such that the third object is an instance of seat and the other object is an instance of wheel and the third object is a part of the object and the other object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners