Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Sitting

 Sigma KEE - Sitting
Sitting(sitting)
more pictures...		seated, sitting

appearance as argument number 1
-------------------------


(instance Sitting BodyPosition) Merge.kif 18409-18409 Sitting is an instance of body position
(documentation Sitting EnglishLanguage "The BodyPosition of being recumbent, i.e. knees bent and back side supported.") Merge.kif 18410-18411 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Werner_Stoetzer_Sitzender_Junge.jpg") pictureList.kif 6861-6861 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ School_of_Rembrandt_-_Sitting_nude.jpg") pictureList.kif 7868-7868 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Indian_woman_gining_cotton.jpg") pictureList.kif 7869-7869 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a6/ Astride_a_cannon.jpg") pictureList.kif 7870-7870 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tea_ceremony_performing_2.jpg") pictureList.kif 7871-7871 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/d/ dc/ Annweiler_Sitzender.JPG") pictureList.kif 7872-7872 Sitting is an instance of body position
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ DeTroy.jpg") pictureList.kif 7873-7873 Sitting is an instance of body position

appearance as argument number 2
-------------------------


(subAttribute Squatting Sitting) Mid-level-ontology.kif 21820-21820 Squatting is a subattribute of sitting
(termFormat EnglishLanguage Sitting "sitting") domainEnglishFormat.kif 53253-53253 Squatting is a subattribute of sitting
(termFormat ChineseTraditionalLanguage Sitting "坐在") domainEnglishFormat.kif 53254-53254 Squatting is a subattribute of sitting
(termFormat ChineseLanguage Sitting "坐在") domainEnglishFormat.kif 53255-53255 Squatting is a subattribute of sitting

consequent
-------------------------


(=>
    (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 545-555 If X is an instance of somersaulting and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and sitting is an attribute of Y holds during the end of the time of existence of X
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))		 Mid-level-ontology.kif 4366-4373 If X is an instance of seat, then X has the purpose there exists Y such that Y is an instance of human, Y is located at X, and sitting is an attribute of Y
(=>
    (instance ?CHAIR Chair)
    (hasPurpose ?CHAIR
        (not
            (exists (?PERSON1 ?PERSON2 ?T)
                (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 4379-4394 If X is an instance of chair, then All of the following hold: (1) X has the purpose there don't exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of human (4) sitting is an attribute of Y (5) sitting is an attribute of Z (6) Y is located at X (7) Z is located at X holds during W (8) equal Y (9) Z
(=>
    (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 4400-4413 If X is an instance of sofa, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) sitting is an attribute of Y (7) sitting is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W
(=>
    (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 21783-21793 If X is an instance of lying down and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and prostrate is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 21828-21838 If X is an instance of sitting down and Y is an agent of X, then standing is an attribute of Y holds during the beginning of the time of existence of X and sitting is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 21845-21855 If X is an instance of standing up and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and standing is an attribute of Y holds during the end of the time of existence of X
(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))		 Cars.kif 4909-4918 If X is an instance of seat, then X has the purpose there exist Y, Z such that Y is an instance of human, sitting is an attribute of Y, and Y is located at X holds during Z
(=>
    (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 4921-4932 If X is an instance of vehicle seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of vehicle, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z
(=>
    (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 4938-4949 If X is an instance of auto seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of automobile, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z
(=>
    (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 4954-4965 If X is an instance of boat seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of water vehicle, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z
(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC ?H
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC))))		 Dining.kif 840-847 If X is an instance of booster chair and Y is an instance of human child, then X has the purpose Y for sitting is an attribute of Y and Y is located at X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners