more pictures...
| 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 18174-18175 | |
| (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 18173-18173 |
| appearance as argument number 2 |
|
|
| (subAttribute Squatting Sitting) | Mid-level-ontology.kif 20991-20991 | |
| (termFormat ChineseLanguage Sitting "坐在") | domainEnglishFormat.kif 53291-53291 | |
| (termFormat ChineseTraditionalLanguage Sitting "坐在") | domainEnglishFormat.kif 53290-53290 | |
| (termFormat EnglishLanguage Sitting "sitting") | domainEnglishFormat.kif 53289-53289 |
| 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 20954-20964 | |
| (=> (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 20999-21009 | |
| (=> (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 21016-21026 | |
| (=> (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 3799-3814 | |
| (=> (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 3820-3833 | |
| (=> (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 3786-3793 |
|
|
|