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

(documentation Sitting ChineseLanguage "这是我们斜靠着时的 BodyPosition，即是双膝弯曲和靠身体的背部支撑着。")	chinese_format.kif 4010-4011
(documentation Sitting EnglishLanguage "The BodyPosition of being recumbent, i.e. knees bent and back side supported.")	Merge.kif 18174-18175
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Werner_Stoetzer_Sitzender_Junge.jpg")	pictureList.kif 6861-6861
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ School_of_Rembrandt_-_Sitting_nude.jpg")	pictureList.kif 7868-7868
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Indian_woman_gining_cotton.jpg")	pictureList.kif 7869-7869
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a6/ Astride_a_cannon.jpg")	pictureList.kif 7870-7870
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tea_ceremony_performing_2.jpg")	pictureList.kif 7871-7871
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/d/ dc/ Annweiler_Sitzender.JPG")	pictureList.kif 7872-7872
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ DeTroy.jpg")	pictureList.kif 7873-7873
(instance Sitting BodyPosition)	Merge.kif 18173-18173	Sitting is an instance of body position

appearance as argument number 2

(subAttribute Squatting Sitting)	Mid-level-ontology.kif 20991-20991	Squatting is a subattribute of sitting
(termFormat ChineseLanguage Sitting "坐在")	domainEnglishFormat.kif 53291-53291	Squatting is a subattribute of sitting
(termFormat ChineseTraditionalLanguage Sitting "坐在")	domainEnglishFormat.kif 53290-53290	Squatting is a subattribute of sitting
(termFormat EnglishLanguage Sitting "sitting")	domainEnglishFormat.kif 53289-53289	Squatting is a subattribute of sitting

consequent

(=> (and (instance ?BC BoosterChair) (instance ?H HumanChild)) (hasPurposeForAgent ?BC (and (attribute ?H Sitting) (eventLocated ?H ?BC)) ?H))	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
(=> (and (instance ?LIE LyingDown) (agent ?LIE ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?LIE)) (attribute ?AGENT Sitting)) (holdsDuring (EndFn (WhenFn ?LIE)) (attribute ?AGENT Prostrate))))	Mid-level-ontology.kif 20954-20964	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
(=> (and (instance ?S Somersaulting) (agent ?S ?A)) (and (holdsDuring (BeginFn (WhenFn ?S)) (attribute ?A Sitting)) (holdsDuring (EndFn (WhenFn ?S)) (attribute ?A Sitting))))	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
(=> (and (instance ?SIT SittingDown) (agent ?SIT ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?SIT)) (attribute ?AGENT Standing)) (holdsDuring (EndFn (WhenFn ?SIT)) (attribute ?AGENT Sitting))))	Mid-level-ontology.kif 20999-21009	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
(=> (and (instance ?STAND StandingUp) (agent ?STAND ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?STAND)) (attribute ?AGENT Sitting)) (holdsDuring (EndFn (WhenFn ?STAND)) (attribute ?AGENT Standing))))	Mid-level-ontology.kif 21016-21026	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
(=> (instance ?CHAIR Chair) (hasPurpose ?CHAIR (not (exists (?PERSON1 ?PERSON2) (and (instance ?PERSON1 Human) (instance ?PERSON2 Human) (holdsDuring ?T (and (attribute ?PERSON1 Sitting) (attribute ?PERSON2 Sitting) (located ?PERSON1 ?CHAIR) (located ?PERSON2 ?CHAIR))) (not (equal ?PERSON1 ?PERSON2)))))))	Mid-level-ontology.kif 3799-3814	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
(=> (instance ?S AutomobileSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V Automobile) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	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
(=> (instance ?S BoatSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V WaterVehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	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
(=> (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 ?S Sofa) (hasPurpose ?S (exists (?P1 ?P2 ?T) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?T (and (attribute ?P1 Sitting) (attribute ?P2 Sitting) (eventLocated ?P1 ?S) (eventLocated ?P2 ?S)))))))	Mid-level-ontology.kif 3820-3833	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
(=> (instance ?S VehicleSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V Vehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	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
(=> (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

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