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 "这是一种有真核 CellOrganism。 它们没有硬的细胞壁、 质体和光合色素。") chinese_format.kif 3392-3393
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.") Merge.kif 13386-13387
(partition Animal Vertebrate Invertebrate) Merge.kif 13385-13385 动物 详尽无遗地 partition脊椎动物无脊椎动物
(subclass Animal Organism) Merge.kif 13384-13384 动物生物subclass

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21646-21646 %每个 动物解剖结构动物initially part
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9753-9753 %每个 动物壳动物initially part
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9895-9895 %每个 外骨骼动物initially part
(initialPart Hair Animal) Mid-level-ontology.kif 9958-9958 %每个 头发动物initially part
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 13295-13295 生物 详尽无遗地 partition动物, 植物, 菌类, 和 微生物
(subclass Biped Animal) Mid-level-ontology.kif 4875-4875 Biped动物subclass
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17775-17775 家畜动物subclass
(subclass Invertebrate Animal) Merge.kif 13441-13441 无脊椎动物动物subclass
(subclass Locust Animal) Geography.kif 6132-6132 刺槐动物subclass
(subclass Vertebrate Animal) Merge.kif 13438-13438 脊椎动物动物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 21971-21971 出生地 的 1 数量 是 动物instance
(domain burialplace 1 Animal) Biography.kif 92-92 burialplace 的 1 数量 是 动物instance
(domain deathplace 1 Animal) Mid-level-ontology.kif 22014-22014 死亡场所 的 1 数量 是 动物instance
(domain detainee 2 Animal) Mid-level-ontology.kif 6445-6445 被拘留者 的 2 数量 是 动物instance
(domain grasps 1 Animal) Merge.kif 10686-10686 抓住 的 1 数量 是 动物instance
(domain wears 1 Animal) Merge.kif 14732-14732 穿戴 的 1 数量 是 动物instance
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 18107-18107 动物的肉 的 2 数量 是 动物subclass
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 18098-18098 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 9755-9762
(=>
    (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 2616-2629
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9897-9902
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 9877-9882
(=>
    (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 9853-9858
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 9693-9698
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))
Merge.kif 16782-16787
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 16705-16715
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 16380-16385

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 9393-9399 躯体性物体脊椎动物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 11362-11371
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 8540-8544
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 19049-19053
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))
Merge.kif 13532-13538
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))
Mid-level-ontology.kif 3225-3232
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 9805-9809
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 9799-9803
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 21907-21913
(=>
    (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 12478-12482
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13900-13905
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13742-13747
(=>
    (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 3198-3206
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))
Mid-level-ontology.kif 2865-2870
(=>
    (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 4813-4822
(=>
    (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 10561-10566
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))
Merge.kif 11308-11313
(=>
    (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 4901-4910
(=>
    (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 7191-7198

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 19452-19452 苹果food for 动物subclass
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 19467-19467 鳄梨food for 动物subclass
(subclass Coconut
    (FoodForFn Animal))
Mid-level-ontology.kif 19417-19417 椰子food for 动物subclass
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19457-19457 日期水果food for 动物subclass
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 19403-19403 蜜糖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 19381-19381 豌豆food for 动物subclass
(subclass PearFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19462-19462 梨果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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners