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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
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 14586-14587
(partition Animal Vertebrate Invertebrate) Merge.kif 14585-14585 Animal est compl�tement d�compos� en vertebr� + invertebr�
(subclass Animal Organism) Merge.kif 14584-14584 Animal est une sous-classe de organisme

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 25369-25369 initialPart AnimalAnatomicalStructure and animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12860-12860 initialPart AnimalShell and animal
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13004-13004 initialPart Exoskeleton and animal
(initialPart Hair Animal) Mid-level-ontology.kif 13115-13115 initialPart Hair and animal
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14495-14495 Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme
(subclass Biped Animal) Mid-level-ontology.kif 4850-4850 Biped est une sous-classe de animal
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 21604-21604 DomesticAnimal est une sous-classe de animal
(subclass Invertebrate Animal) Merge.kif 14641-14641 Invertebr� est une sous-classe de animal
(subclass Vertebrate Animal) Merge.kif 14638-14638 Vertebr� est une sous-classe de animal
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972 Vertebr� est une sous-classe de animal
(termFormat EnglishLanguage Animal "animal") english_format.kif 1151-1151 Vertebr� est une sous-classe de animal
(termFormat FrenchLanguage Animal "animal") french_format.kif 649-649 Vertebr� est une sous-classe de animal
(termFormat Hindi Animal "pashu") terms-hindi.txt 180-180 Vertebr� est une sous-classe de animal
(termFormat ItalianLanguage Animal "Animale") terms-it.txt 183-183 Vertebr� est une sous-classe de animal
(termFormat JapaneseLanguage Animal "動物") japanese_format.kif 2333-2333 Vertebr� est une sous-classe de animal
(termFormat PortugueseLanguage Animal "Animal") portuguese_format.kif 601-601 Vertebr� est une sous-classe de animal
(termFormat cb Animal "hayup") terms-cb.txt 185-185 Vertebr� est une sous-classe de animal
(termFormat cz Animal "animal") terms-cz.txt 217-217 Vertebr� est une sous-classe de animal
(termFormat de Animal "Tier") terms-de.txt 476-476 Vertebr� est une sous-classe de animal
(termFormat ro Animal "animal") relations-ro.kif 670-670 Vertebr� est une sous-classe de animal
(termFormat tg Animal "hayop") terms-tg.txt 184-184 Vertebr� est une sous-classe de animal

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


(domain birthplace 1 Animal) Mid-level-ontology.kif 25902-25902 Le nombre 1 argument de birthplace est une instance de animal
(domain burialplace 1 Animal) Biography.kif 209-209 Le nombre 1 argument de burialplace est une instance de animal
(domain deathplace 1 Animal) Mid-level-ontology.kif 25961-25961 Le nombre 1 argument de deathplace est une instance de animal
(domain detainee 2 Animal) Mid-level-ontology.kif 7946-7946 Le nombre 2 argument de detainee est une instance de animal
(domain grasps 1 Animal) Merge.kif 11631-11631 Le nombre 1 argument de grasps est une instance de animal
(domain wears 1 Animal) Merge.kif 16085-16085 Le nombre 1 argument de wears est une instance de animal
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 21971-21971 Le nombre 2 argument de meatOfAnimal est une sous-classe de animal

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 15117-15128
(=>
    (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 2696-2701
(=>
    (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 10628-10633
(=>
    (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 18300-18305
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18218-18228
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17799-17804

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12275-12281 Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn
(=>
    (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 4201-4225
(=>
    (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 12394-12403
(=>
    (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 14741-14747
(=>
    (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 25779-25785
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))		 Merge.kif 1415-1422
(=>
    (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 13594-13598
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15138-15143
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14954-14959
(=>
    (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 6164-6173
(=>
    (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 ?C CSGas)
    (hasPurpose ?C
        (exists (?INJ ?ORG)
            (and
                (instance ?INJ Injuring)
                (instrument ?INJ ?C)
                (patient ?INJ ?ORG)
                (instance ?ORG Animal)))))		 MilitaryDevices.kif 1502-1510

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 animal
(subclass Apple
    (FoodForFn Animal))		 Food.kif 2187-2187 Apple est une sous-classe de FoodForFn animal
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2289-2289 Avocado est une sous-classe de FoodForFn animal
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2378-2378 Coconut est une sous-classe de FoodForFn animal
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2196-2196 DateFruit est une sous-classe de FoodForFn animal
(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 23250-23250 Honey est une sous-classe de FoodForFn animal
(subclass LemonFruit
    (FoodForFn Animal))		 Food.kif 2335-2335 LemonFruit est une sous-classe de FoodForFn animal
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2349-2349 OrangeFruit est une sous-classe de FoodForFn animal
(subclass Pea
    (FoodForFn Animal))		 Economy.kif 4450-4450 Pea est une sous-classe de FoodForFn animal
(subclass PearFruit
    (FoodForFn Animal))		 Food.kif 2201-2201 PearFruit est une sous-classe de FoodForFn animal
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3696-3696 WineGrape est une sous-classe de FoodForFn animal


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