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 18149-18150
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Werner_Stoetzer_Sitzender_Junge.jpg")	pictureList.kif 6862-6862
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ School_of_Rembrandt_-_Sitting_nude.jpg")	pictureList.kif 7869-7869
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Indian_woman_gining_cotton.jpg")	pictureList.kif 7870-7870
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a6/ Astride_a_cannon.jpg")	pictureList.kif 7871-7871
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tea_ceremony_performing_2.jpg")	pictureList.kif 7872-7872
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/d/ dc/ Annweiler_Sitzender.JPG")	pictureList.kif 7873-7873
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ DeTroy.jpg")	pictureList.kif 7874-7874
(instance Sitting BodyPosition)	Merge.kif 18148-18148	Sitting is an instance of body position

appearance as argument number 2

(subAttribute Squatting Sitting)	Mid-level-ontology.kif 20160-20160	Squatting is a subattribute of sitting
(termFormat ChineseLanguage Sitting "坐在")	domainEnglishFormat.kif 53298-53298	Squatting is a subattribute of sitting
(termFormat ChineseTraditionalLanguage Sitting "坐在")	domainEnglishFormat.kif 53297-53297	Squatting is a subattribute of sitting
(termFormat EnglishLanguage Sitting "sitting")	domainEnglishFormat.kif 53296-53296	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 20123-20133	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 20168-20178	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 20185-20195	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 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
(=> (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 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
(=> (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 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
(=> (instance ?S Seat) (hasPurpose ?S (exists (?H ?T) (and (instance ?H Human) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S)))))))	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
(=> (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 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
(=> (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 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
(=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON Sitting)))))	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