|
|
  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 18092-18093 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Werner_Stoetzer_Sitzender_Junge.jpg") | pictureList.kif 6862-6862 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ School_of_Rembrandt_-_Sitting_nude.jpg") | pictureList.kif 7869-7869 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Indian_woman_gining_cotton.jpg") | pictureList.kif 7870-7870 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a6/ Astride_a_cannon.jpg") | pictureList.kif 7871-7871 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Tea_ceremony_performing_2.jpg") | pictureList.kif 7872-7872 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/d/ dc/ Annweiler_Sitzender.JPG") | pictureList.kif 7873-7873 | |
| (externalImage Sitting "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ DeTroy.jpg") | pictureList.kif 7874-7874 | |
| (instance Sitting BodyPosition) | Merge.kif 18091-18091 | 例 坐在 and 身體姿勢 |
| appearance as argument number 2 |
|
|
| (subAttribute Squatting Sitting) | Mid-level-ontology.kif 19901-19901 | 子屬性 蹲 and 坐在 |
| (termFormat ChineseLanguage Sitting "坐在") | domainEnglishFormat.kif 53258-53258 | |
| (termFormat ChineseTraditionalLanguage Sitting "坐在") | domainEnglishFormat.kif 53257-53257 | |
| (termFormat EnglishLanguage Sitting "sitting") | domainEnglishFormat.kif 53256-53256 |
| 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 19864-19874 | |
| (=> (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 562-572 | |
| (=> (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 19909-19919 | |
| (=> (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 19926-19936 | |
| (=> (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 3733-3748 | |
| (=> (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 5054-5065 | |
| (=> (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 5070-5081 | |
| (=> (instance ?S Seat) (hasPurpose ?S (exists (?H ?T) (and (instance ?H Human) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S))))))) |
Cars.kif 5025-5034 | |
| (=> (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 3754-3767 | |
| (=> (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 5037-5048 | |
| (=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON Sitting))))) |
Mid-level-ontology.kif 3720-3727 |
|
|
|
