動物 (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 是動物語言的實例 and proc 是 agent 的施事者 and lang 對 proc 是工具, then agent 是動物的實例 and agent 是人類的實例.

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

If process 是心理歷程的實例, then there exists 動物 animal so that animal (沒) 體驗not(s) process.

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

If act 是外科手術的實例 and animal 是 act 的受事者, then there exists 切割 subact so that animal 是動物的實例 and cutting 是 animal 的受事者 and subact 是 act 的次歷�{.

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

If percept 是知覺的實例 and percept 是 agent 的施事者, then agent 是動物的實例.

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

生物體完全分割成動物,植物,微生物.

(partition Organism Animal Plant Microorganism)

if food 是食物的實例,
then for all part1 holds: if part1 是 food 的部分), then there exist part2,動物 animal so that part1 是 part2 的部分) and part2 是 animal 的部分)

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

if meat 是肉的實例,
then for all part holds: if part 是 meat 的部分), then there exist subpart,time,animal so that subpart 是 part 的部分) and animal 是動物的實例 and subpart 是 animal 的部分) timea(之中) 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 是武器的實例, then weapon 有意圖 "there exist 損害 dest,patient so that patient 是 dest 的受事者 and

patient 是固定人造物的實例
patient 是動物的實例
there exists 動物 animal so that animal 住s 在 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 是動物的實例, then there exists 性別屬性 attr so that attr 是 animal 的屬性.

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