TreeView Knowledge Base Browser - Seat

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Seat

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3717-3718
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4818-4818
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3716-3716	Seat is a subclass of furniture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7340-7340	Auditorium seat is a subclass of seat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3729-3729	Chair is a subclass of seat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26192-26192	Recliner is a subclass of seat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3750-3750	Sofa is a subclass of seat
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51735-51735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51734-51734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51733-51733

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 5017-5026	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3720-3727	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15534-15539	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23397-23404	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26129-26136	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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