TreeView Knowledge Base Browser - Sitting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

KaoRiverLanguage

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 18149-18150
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6862-6862
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.	pictureList.kif 7874-7874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18148-18148	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 19929-19929	Squatting is a subattribute of sitting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53260-53260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53259-53259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53258-53258

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 19892-19902	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 19937-19947	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 19954-19964	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 5031-5042	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 5047-5058	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 5002-5011	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 5014-5025	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 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