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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sitting

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 17801-17802
(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 7870-7870
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Indian_woman_gining_cotton.jpg") pictureList.kif 7871-7871
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a6/ Astride_a_cannon.jpg") pictureList.kif 7872-7872
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tea_ceremony_performing_2.jpg") pictureList.kif 7873-7873
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/d/ dc/ Annweiler_Sitzender.JPG") pictureList.kif 7874-7874
(externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ DeTroy.jpg") pictureList.kif 7875-7875
(instance Sitting BodyPosition) Merge.kif 17800-17800

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


(subAttribute Squatting Sitting) Mid-level-ontology.kif 19225-19225
(termFormat ChineseLanguage Sitting "坐在") domainEnglishFormat.kif 53241-53241
(termFormat ChineseTraditionalLanguage Sitting "坐在") domainEnglishFormat.kif 53240-53240
(termFormat EnglishLanguage Sitting "sitting") domainEnglishFormat.kif 53239-53239

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 19188-19198
(=>
    (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 551-561
(=>
    (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 19233-19243
(=>
    (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 19250-19260
(=>
    (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 3685-3695
(=>
    (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 5049-5060
(=>
    (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 5065-5076
(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))
Cars.kif 5020-5029
(=>
    (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 3701-3714
(=>
    (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 5032-5043
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))
Mid-level-ontology.kif 3672-3679


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 is open source software produced by Articulate Software and its partners