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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animal(动物)

appearance as argument number 1
-------------------------


(documentation Animal ChineseLanguage "这是一种有真核 Cell 的 Organism。 它们没有硬的细胞壁、 质体和光合色素。") chinese_format.kif 3392-3393
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.") Merge.kif 13413-13414
(partition Animal Vertebrate Invertebrate) Merge.kif 13412-13412 动物 详尽无遗地 partition 成 脊椎动物 和 无脊椎动物
(subclass Animal Organism) Merge.kif 13411-13411 动物 是 生物 的 subclass

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21671-21671 %每个 动物解剖结构 是 动物 的 initially part
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9747-9747 %每个 动物壳 是 动物 的 initially part
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9889-9889 %每个 外骨骼 是 动物 的 initially part
(initialPart Hair Animal) Mid-level-ontology.kif 9952-9952 %每个 头发 是 动物 的 initially part
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 13322-13322 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物
(subclass Biped Animal) Mid-level-ontology.kif 4881-4881 Biped 是 动物 的 subclass
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17800-17800 家畜 是 动物 的 subclass
(subclass Invertebrate Animal) Merge.kif 13468-13468 无脊椎动物 是 动物 的 subclass
(subclass Locust Animal) Geography.kif 6132-6132 刺槐 是 动物 的 subclass
(subclass Vertebrate Animal) Merge.kif 13465-13465 脊椎动物 是 动物 的 subclass
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972
(termFormat EnglishLanguage Animal "animal") english_format.kif 1156-1156

appearance as argument number 3
-------------------------


(domain birthplace 1 Animal) Mid-level-ontology.kif 21996-21996 出生地 的 1 数量 是 动物 的 instance
(domain burialplace 1 Animal) Biography.kif 92-92 burialplace 的 1 数量 是 动物 的 instance
(domain deathplace 1 Animal) Mid-level-ontology.kif 22039-22039 死亡场所 的 1 数量 是 动物 的 instance
(domain detainee 2 Animal) Mid-level-ontology.kif 6424-6424 被拘留者 的 2 数量 是 动物 的 instance
(domain grasps 1 Animal) Merge.kif 10716-10716 抓住 的 1 数量 是 动物 的 instance
(domain wears 1 Animal) Merge.kif 14759-14759 穿戴 的 1 数量 是 动物 的 instance
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 18132-18132 动物的肉 的 2 数量 是 动物 的 subclass
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 18123-18123 productOfAnimal 的 2 数量 是 动物 的 subclass

antecedent
-------------------------


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 9749-9756
(=>
    (and
        (instance ?ANI Animal)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?ANI ?D)))
    (exists (?P ?W)
        (and
            (instance ?P BiologicalProcess)
            (instance ?P Removing)
            (origin ?P ?ANI)
            (instance ?W Sewage)
            (agent ?P ?ANI)
            (patient ?P ?W))))		 Mid-level-ontology.kif 2622-2635
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 9891-9896
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 9871-9876
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))		 Geography.kif 2648-2653
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 9886-9891
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 9687-9692
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))		 Merge.kif 16809-16814
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 16732-16742
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 16407-16412

consequent
-------------------------


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 9372-9378 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))		 Merge.kif 11392-11401
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 8519-8523
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))		 Mid-level-ontology.kif 19074-19078
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))		 Merge.kif 13559-13565
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))		 Mid-level-ontology.kif 3231-3238
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 9799-9803
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))		 Mid-level-ontology.kif 9793-9797
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))		 Mid-level-ontology.kif 21932-21938
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))		 Merge.kif 1301-1308
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 50-72
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FoodAndBeverageStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (or
                        (instance ?THING
                            (FoodForFn Animal))
                        (instance ?THING Beverage))
                    (patient ?EV ?THING))))))		 naics.kif 7326-7340
(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))		 Merge.kif 12505-12509
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 13927-13932
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 13769-13774
(=>
    (instance ?AC AnimalController)
    (hasPurpose ?AC
        (exists (?G ?A)
            (and
                (instance ?G Guiding)
                (instrument ?G ?AC)
                (instance ?A Animal)
                (patient ?G ?A)))))		 Mid-level-ontology.kif 3204-3212
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))		 Mid-level-ontology.kif 2871-2876
(=>
    (instance ?AG AnimalGuiding)
    (exists (?A ?C)
        (and
            (instance ?A Animal)
            (agent ?AG ?H)
            (instance ?C Carrying)
            (agent ?C ?A)
            (objectTransferred ?C ?H)
            (instrument ?AG ?A))))		 Mid-level-ontology.kif 4819-4828
(=>
    (instance ?B Burrow)
    (exists (?P ?A)
        (and
            (instance ?P Process)
            (agent ?P ?A)
            (instance ?A Animal)
            (not
                (instance ?A Human))
            (result ?P ?B))))		 Geography.kif 5627-5636
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?INJ ?ORG)
            (and
                (instance ?INJ Injuring)
                (instrument ?INJ ?C)
                (patient ?INJ ?ORG)
                (instance ?ORG Animal)))))		 MilitaryDevices.kif 1345-1353
(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))		 Merge.kif 10591-10596
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))		 Merge.kif 11338-11343
(=>
    (instance ?D Dish)
    (hasPurpose ?D
        (exists (?F ?E)
            (and
                (instance ?E Eating)
                (patient ?E ?F)
                (patient ?E ?D)
                (instance ?F
                    (FoodForFn Animal))
                (located ?F ?D)))))		 Mid-level-ontology.kif 4907-4916
(=>
    (instance ?FD FoodDistributionOperation)
    (exists (?FOOD ?CA)
        (and
            (instance ?FOOD
                (FoodForFn Animal))
            (instance ?CA CognitiveAgent)
            (patient ?FD ?FOOD)
            (destination ?FD ?CA)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?FD))
                (possesses ?CA ?FOOD)))))		 Military.kif 62-71
(=>
    (instance ?GROUP GroupOfAnimals)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?GROUP)
            (and
                (instance ?MEMBER Animal)
                (not
                    (instance ?MEMBER Human))))))		 Mid-level-ontology.kif 7170-7177

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1748-1748 Food for 动物 是 食品制造业 的 industry 产品类别
(subclass Apple
    (FoodForFn Animal))		 Mid-level-ontology.kif 19477-19477 苹果 是 food for 动物 的 subclass
(subclass Avocado
    (FoodForFn Animal))		 Mid-level-ontology.kif 19492-19492 鳄梨 是 food for 动物 的 subclass
(subclass Coconut
    (FoodForFn Animal))		 Mid-level-ontology.kif 19442-19442 椰子 是 food for 动物 的 subclass
(subclass DateFruit
    (FoodForFn Animal))		 Mid-level-ontology.kif 19482-19482 日期水果 是 food for 动物 的 subclass
(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 19428-19428 蜜糖 是 food for 动物 的 subclass
(subclass LemonFruit
    (FoodForFn Animal))		 Economy.kif 3947-3947 柠檬水果 是 food for 动物 的 subclass
(subclass OrangeFruit
    (FoodForFn Animal))		 Economy.kif 3954-3954 橙色水果 是 food for 动物 的 subclass
(subclass Pea
    (FoodForFn Animal))		 Mid-level-ontology.kif 19406-19406 豌豆 是 food for 动物 的 subclass
(subclass PearFruit
    (FoodForFn Animal))		 Mid-level-ontology.kif 19487-19487 梨果 是 food for 动物 的 subclass


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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