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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Animal

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 14601-14602
(partition Animal Vertebrate Invertebrate) Merge.kif 14600-14600 動物脊椎動物 + 無脊椎動物exhaustively partitioned
(subclass Animal Organism) Merge.kif 14599-14599 動物subclass では

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 25367-25367 initialPart AnimalAnatomicalStructure and 動物
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12860-12860 initialPart AnimalShell and 動物
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13004-13004 initialPart Exoskeleton and 動物
(initialPart Hair Animal) Mid-level-ontology.kif 13115-13115 initialPart Hair and 動物
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14510-14510 動物, 植物, 菌類, + 微生物exhaustively partitioned
(subclass Biped Animal) Mid-level-ontology.kif 4850-4850 Biped動物subclass では
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 21604-21604 DomesticAnimal動物subclass では
(subclass Invertebrate Animal) Merge.kif 14656-14656 無脊椎動物動物subclass では
(subclass Vertebrate Animal) Merge.kif 14653-14653 脊椎動物動物subclass では
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972 脊椎動物動物subclass では
(termFormat EnglishLanguage Animal "animal") english_format.kif 1151-1151 脊椎動物動物subclass では
(termFormat FrenchLanguage Animal "animal") french_format.kif 649-649 脊椎動物動物subclass では
(termFormat Hindi Animal "pashu") terms-hindi.txt 180-180 脊椎動物動物subclass では
(termFormat ItalianLanguage Animal "Animale") terms-it.txt 183-183 脊椎動物動物subclass では
(termFormat JapaneseLanguage Animal "動物") japanese_format.kif 2333-2333 脊椎動物動物subclass では
(termFormat PortugueseLanguage Animal "Animal") portuguese_format.kif 601-601 脊椎動物動物subclass では
(termFormat cb Animal "hayup") terms-cb.txt 185-185 脊椎動物動物subclass では
(termFormat cz Animal "animal") terms-cz.txt 217-217 脊椎動物動物subclass では
(termFormat de Animal "Tier") terms-de.txt 476-476 脊椎動物動物subclass では
(termFormat ro Animal "animal") relations-ro.kif 670-670 脊椎動物動物subclass では
(termFormat tg Animal "hayop") terms-tg.txt 184-184 脊椎動物動物subclass では

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


(domain birthplace 1 Animal) Mid-level-ontology.kif 25900-25900 birthplace の数値 1 引数は 動物instance では
(domain burialplace 1 Animal) Biography.kif 209-209 burialplace の数値 1 引数は 動物instance では
(domain deathplace 1 Animal) Mid-level-ontology.kif 25959-25959 deathplace の数値 1 引数は 動物instance では
(domain detainee 2 Animal) Mid-level-ontology.kif 7946-7946 detainee の数値 2 引数は 動物instance では
(domain grasps 1 Animal) Merge.kif 11646-11646 grasps の数値 1 引数は 動物instance では
(domain wears 1 Animal) Merge.kif 16100-16100 wears の数値 1 引数は 動物instance では
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 21971-21971 meatOfAnimal の数値 2 引数は 動物subclass では

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?E ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Flexion instrument ?BC))
Mid-level-ontology.kif 12016-12027
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Extension instrument ?BC))
Mid-level-ontology.kif 12003-12014
(=>
    (and
        (instance ?A
            (BodyAreaFn ?OC))
        (instance ?H Animal)
        (part ?A ?H))
    (exists (?O)
        (and
            (instance ?O ?OC)
            (orientation ?A ?O Near)
            (part ?O ?H))))
Medicine.kif 6254-6263
(=>
    (and
        (instance ?A Animal)
        (instance ?P
            (BodySideFn ?S ?BPC))
        (contraryAttribute ?S ?SO)
        (attribute ?A Healthy))
    (exists (?PO)
        (and
            (instance ?PO
                (BodySideFn ?SO ?BPC))
            (orientation ?P ?PO ?S))))
Merge.kif 15132-15143
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 12862-12869
(=>
    (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)
            (objectTransferred ?P ?W))))
Mid-level-ontology.kif 2625-2638
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 13006-13011
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 12986-12991
(=>
    (and
        (instance ?C Chest)
        (instance ?A Animal)
        (instance ?C ?A)
        (part ?C ?A))
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?C ?T)
            (part ?T ?A))))
Mid-level-ontology.kif 12550-12560
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))
Geography.kif 2866-2871
(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))
Medicine.kif 5499-5509
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 10643-10648
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 12781-12786
(=>
    (and
        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                (and
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))
Cars.kif 3450-3478
(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))
Mid-level-ontology.kif 13168-13175
(=>
    (and
        (instance ?X Respirator)
        (instance ?PERSON Animal)
        (wears ?PERSON ?X))
    (hasPurpose ?X
        (exists (?INHAL ?INJ ?PROTECT ?I)
            (and
                (instance ?PROTECT Process)
                (instrument ?PROTECT ?X)
                (prevents ?PROTECT ?INJ)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?H)
                                (and
                                    (instance ?H Human)
                                    (patient ?I ?H)
                                    (instance ?INHAL Inhaling)
                                    (agent ?INHAL ?H)
                                    (causes ?I ?INHAL))))))))))
Cars.kif 3592-3613
(=>
    (instance ?A Animal)
    (capability Drooling experiencer ?A))
Mid-level-ontology.kif 7520-7522
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))
Merge.kif 18315-18320
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 18233-18243
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17814-17819

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 12275-12281 微粒子オブジェクト脊椎動物instance では 微粒子オブジェクト 微粒子オブジェクト動物instance では 微粒子オブジェクト 微粒子オブジェクトcomponent では 微粒子オブジェクトSpinalColumninstance では
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))
Transportation.kif 4203-4227
(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))
Food.kif 2883-2889
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))
Economy.kif 5285-5290
(=>
    (and
        (instance ?A Omnivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (or
        (instance ?F Plant)
        (instance ?F Animal)
        (instance ?F Fungus)))
Mid-level-ontology.kif 21667-21676
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))
Merge.kif 12409-12418
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 10068-10072
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 23006-23010
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))
Merge.kif 14756-14762
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))
Mid-level-ontology.kif 3229-3236
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 12913-12917
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 12907-12911
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 25777-25783
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))
Merge.kif 1430-1437
(=>
    (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 7319-7333
(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))
Merge.kif 13609-13613
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 15153-15158
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14969-14974
(=>
    (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 3202-3210
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))
Mid-level-ontology.kif 2872-2877
(=>
    (instance ?AG AnimalGuiding)
    (exists (?A ?C ?H)
        (and
            (instance ?A Animal)
            (agent ?AG ?H)
            (instance ?C Carrying)
            (agent ?C ?A)
            (objectTransferred ?C ?H)
            (instrument ?AG ?A))))
Mid-level-ontology.kif 4788-4797
(=>
    (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 6334-6343
(=>
    (instance ?BC BloodCirculation)
    (exists (?O ?V ?A ?B)
        (and
            (instance ?O Animal)
            (instance ?B Blood)
            (moves ?BC ?B)
            (instance ?A Artery)
            (instance ?V Vein)
            (part ?A ?O)
            (part ?V ?O)
            (path ?BC ?A)
            (path ?BC ?V))))
Medicine.kif 480-492
(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))
Merge.kif 11521-11526

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1869-1869 industryProductType FoodManufacturing and FoodForFn 動物
(subclass Apple
    (FoodForFn Animal))
Food.kif 2187-2187 AppleFoodForFn 動物subclass では
(subclass Avocado
    (FoodForFn Animal))
Food.kif 2289-2289 AvocadoFoodForFn 動物subclass では
(subclass Coconut
    (FoodForFn Animal))
Food.kif 2378-2378 CoconutFoodForFn 動物subclass では
(subclass DateFruit
    (FoodForFn Animal))
Food.kif 2196-2196 DateFruitFoodForFn 動物subclass では
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 23250-23250 HoneyFoodForFn 動物subclass では
(subclass LemonFruit
    (FoodForFn Animal))
Food.kif 2335-2335 LemonFruitFoodForFn 動物subclass では
(subclass OrangeFruit
    (FoodForFn Animal))
Food.kif 2349-2349 OrangeFruitFoodForFn 動物subclass では
(subclass Pea
    (FoodForFn Animal))
Economy.kif 4450-4450 PeaFoodForFn 動物subclass では
(subclass PearFruit
    (FoodForFn Animal))
Food.kif 2201-2201 PearFruitFoodForFn 動物subclass では
(subclass WineGrape
    (FoodForFn Animal))
Food.kif 3696-3696 WineGrapeFoodForFn 動物subclass では


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

Show without tree


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