dong4 wu4 (Animal)

animal, animate being, beast, brute, creature, fauna: a living organism characterized by voluntary movement
Animalia, kingdom Animalia, animal kingdom: taxonomic kingdom comprising all living or extinct animals
animal order: the order of animals
animal: of the nature of or characteristic of or derived from an animal or animals; "the animal kingdom"; "animal instincts"; "animal fats"
zoological: of or relating to animals or animal groups; "zoological garden"
animate: relating to animal life as distinct from plant life; "animate life"

See more related synsets on a separate page.

Axioms (9)

If lang shi4 dong4 wu4 yu3 yan2 de5 shi2 li4 and proc shi4 agent de5 shi1 shi4 zhe3 and lang dui4 proc shi4 gong1 ju4, then agent shi4 dong4 wu4 de5 shi2 li4 and agent shi4 ren2 lei4 de5 shi2 li4.

(=>
      (and
            (instance ?LANG AnimalLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (and
            (instance ?AGENT Animal)
            (not
                  (instance ?AGENT Human))))

If process shi4 xin1 li3 li4 cheng2 de5 shi2 li4, then there exists dong4 wu4 animal so_that_not animal (mei2) ti3 yan4not(s) process.

(=>
      (instance ?PROCESS PsychologicalProcess)
      (exists
            (?ANIMAL)
            (and
                  (instance ?ANIMAL Animal)
                  (experiencer ?PROCESS ?ANIMAL))))

If act shi4 wai4 ke1 shou3 shu4 de5 shi2 li4 and animal shi4 act de5 shou4 shi4 zhe3, then there exists qie1 ge1 subact so_that_not animal shi4 dong4 wu4 de5 shi2 li4 and cutting shi4 animal de5 shou4 shi4 zhe3 and subact shi4 act de5 ci4 li4 cheng2.

(=>
      (and
            (instance ?ACT Surgery)
            (patient ?ACT ?ANIMAL))
      (exists
            (?SUBACT)
            (and
                  (instance ?SUBACT Cutting)
                  (instance ?ANIMAL Animal)
                  (patient ?ANIMAL ?CUTTING)
                  (subProcess ?SUBACT ?ACT))))

If percept shi4 zhi1 jiao4 de5 shi2 li4 and percept shi4 agent de5 shi1 shi4 zhe3, then agent shi4 dong4 wu4 de5 shi2 li4.

(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT))
      (instance ?AGENT Animal))

sheng1 wu4 ti1 wan2 quan2 fen1 ge1 cheng2 dong4 wu4,zhi2 wu4,wei1 sheng1 wu4.

(partition Organism Animal Plant Microorganism)

if food shi4 shi2 wu4 de5 shi2 li4,
then for all part1 holds: if part1 shi4 food de5 bu4 fen5), then there exist part2,dong4 wu4 animal so_that_not part1 shi4 part2 de5 bu4 fen5) and part2 shi4 animal de5 bu4 fen5)

(=>
      (instance ?FOOD Food)
      (forall
            (?PART1)
            (=>
                  (part ?PART1 ?FOOD)
                  (exists
                        (?PART2 ?ANIMAL)
                        (and
                              (part ?PART1 ?PART2)
                              (part ?PART2 ?ANIMAL)
                              (instance ?ANIMAL Animal))))))

if meat shi4 rou4 de5 shi2 li4,
then for all part holds: if part shi4 meat de5 bu4 fen5), then there exist subpart,time,animal so_that_not subpart shi4 part de5 bu4 fen5) and animal shi4 dong4 wu4 de5 shi2 li4 and subpart shi4 animal de5 bu4 fen5) timea(zhi1 zhong1) time

(=>
      (instance ?MEAT Meat)
      (forall
            (?PART)
            (=>
                  (part ?PART ?MEAT)
                  (exists
                        (?SUBPART ?TIME ?ANIMAL)
                        (and
                              (part ?SUBPART ?PART)
                              (holdsDuring
                                    ?TIME
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (part ?SUBPART ?ANIMAL))))))))

If weapon shi4 wu3 qi4 de5 shi2 li4, then weapon you3 yi4 tu2 "there exist sun3 hai4 dest,patient so_that_not patient shi4 dest de5 shou4 shi4 zhe3 and

patient shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4
patient shi4 dong4 wu4 de5 shi2 li4
there exists dong4 wu4 animal so_that_not animal zhu4s zai4 patient

(=>
      (instance ?WEAPON Weapon)
      (hasPurpose
            ?WEAPON
            (exists
                  (?DEST ?PATIENT)
                  (and
                        (instance ?DEST Damaging)
                        (patient ?DEST ?PATIENT)
                        (or
                              (instance ?PATIENT StationaryArtifact)
                              (instance ?PATIENT Animal)
                              (exists
                                    (?ANIMAL)
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (inhabits ?ANIMAL ?PATIENT))))))))

If animal shi4 dong4 wu4 de5 shi2 li4, then there exists xing4 bie2 shu3 xing4 attr so_that_not attr shi4 animal de5 shu3 xing4.

(=>
      (instance ?ANIMAL Animal)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SexAttribute)
                  (attribute ?ANIMAL ?ATTR))))