Sitting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sitting

Sitting(sitting)

more pictures...

seated, sitting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4010-4011
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18170-18171
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6861-6861
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7868-7868
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7869-7869
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7870-7870
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7871-7871
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7872-7872
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7873-7873
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18169-18169	Sitting is an instance of body position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20820-20820	Squatting is a subattribute of sitting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53291-53291	Squatting is a subattribute of sitting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53290-53290	Squatting is a subattribute of sitting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53289-53289	Squatting is a subattribute of sitting

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 840-847	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has the purpose sitting is an attribute of the agent and the agent is located at the physical for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20783-20793	If a process is an instance of lying down and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and prostrate is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 555-565	If a process is an instance of somersaulting and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and sitting is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20828-20838	If a process is an instance of sitting down and an agent is an agent of the process, then standing is an attribute of the agent holds during the beginning of the time of existence of the process and sitting is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20845-20855	If a process is an instance of standing up and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and standing is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3726-3741	If a physical is an instance of chair, then the physical has the purpose there don't exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of human and sitting is an attribute of the entity and sitting is an attribute of the other entity and the entity is located at the physical and the other entity is located at the physical holds during a third entity and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5107-5118	If a physical is an instance of auto seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of automobile and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5123-5134	If a physical is an instance of boat seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of water vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3747-3760	If a physical is an instance of sofa, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is not equal to the other entity and the entity is an instance of human and the other entity is an instance of human and sitting is an attribute of the entity and sitting is an attribute of the other entity and the entity is located at the physical and the other entity is located at the physical holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5090-5101	If a physical is an instance of vehicle seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3713-3720	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

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