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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sitting
Sitting
more pictures...

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 18204-18205
(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 18203-18203 Sitting est une instance de BodyPosition

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


(subAttribute Squatting Sitting) Mid-level-ontology.kif 21496-21496 Squatting est un sous-attribut de Sitting
(termFormat ChineseLanguage Sitting "坐在") domainEnglishFormat.kif 53291-53291 Squatting est un sous-attribut de Sitting
(termFormat ChineseTraditionalLanguage Sitting "坐在") domainEnglishFormat.kif 53290-53290 Squatting est un sous-attribut de Sitting
(termFormat EnglishLanguage Sitting "sitting") domainEnglishFormat.kif 53289-53289 Squatting est un sous-attribut de Sitting

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


(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))		 Dining.kif 840-847
(=>
    (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 21459-21469
(=>
    (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
(=>
    (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 21504-21514
(=>
    (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 21521-21531
(=>
    (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 4202-4217
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 4223-4236
(=>
    (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
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))		 Mid-level-ontology.kif 4189-4196


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