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

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


(subAttribute Squatting Sitting) Mid-level-ontology.kif 17661-17661 Squatting is a subattribute of sitting
(termFormat ChineseLanguage Sitting "坐在") domainEnglishFormat.kif 53155-53155
(termFormat ChineseTraditionalLanguage Sitting "坐在") domainEnglishFormat.kif 53154-53154
(termFormat EnglishLanguage Sitting "sitting") domainEnglishFormat.kif 53153-53153

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


(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))
Dining.kif 793-800
(=>
    (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 17624-17634
(=>
    (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 739-749
(=>
    (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 17669-17679
(=>
    (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 17686-17696
(=>
    (instance ?CHAIR Chair)
    (not
        (exists (?PERSON1 ?PERSON2)
            (and
                (instance ?PERSON1 Human)
                (instance ?PERSON2 Human)
                (attribute ?PERSON1 Sitting)
                (attribute ?PERSON2 Sitting)
                (located ?PERSON1 ?CHAIR)
                (located ?PERSON2 ?CHAIR)
                (not
                    (equal ?PERSON1 ?PERSON2))))))
Mid-level-ontology.kif 4264-4274
(=>
    (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 5026-5037
(=>
    (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 5042-5053
(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))
Cars.kif 4997-5006
(=>
    (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 4280-4293
(=>
    (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 5009-5020
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))
Mid-level-ontology.kif 4251-4258


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners