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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Animal

 Sigma KEE - Animal
Animal(Animale)

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 14470-14471
(partition Animal Vertebrate Invertebrate) Merge.kif 14469-14469 Animale è esaustivamente partizionato in Vertebrato + Invertebrato
(subclass Animal Organism) Merge.kif 14468-14468 Animale è una sottoclasse di Organismo

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23720-23720 initialPart AnimalAnatomicalStructure and Animale
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11528-11528 initialPart AnimalShell and Animale
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11672-11672 initialPart Exoskeleton and Animale
(initialPart Hair Animal) Mid-level-ontology.kif 11783-11783 initialPart Hair and Animale
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14379-14379 Organismo è esaustivamente partizionato in Animale, Pianta, Fungo, + Microorganismo
(subclass Biped Animal) Mid-level-ontology.kif 4407-4407 Biped è una sottoclasse di Animale
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 20016-20016 DomesticAnimal è una sottoclasse di Animale
(subclass Invertebrate Animal) Merge.kif 14525-14525 Invertebrato è una sottoclasse di Animale
(subclass Locust Animal) Geography.kif 6794-6794 Locust è una sottoclasse di Animale
(subclass Vertebrate Animal) Merge.kif 14522-14522 Vertebrato è una sottoclasse di Animale
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972
(termFormat EnglishLanguage Animal "animal") english_format.kif 1151-1151
(termFormat FrenchLanguage Animal "animal") french_format.kif 649-649
(termFormat Hindi Animal "pashu") terms-hindi.txt 180-180
(termFormat ItalianLanguage Animal "Animale") terms-it.txt 183-183
(termFormat JapaneseLanguage Animal "動物") japanese_format.kif 2333-2333
(termFormat PortugueseLanguage Animal "Animal") portuguese_format.kif 601-601
(termFormat cb Animal "hayup") terms-cb.txt 185-185
(termFormat cz Animal "animal") terms-cz.txt 217-217
(termFormat ro Animal "animal") relations-ro.kif 670-670
(termFormat tg Animal "hayop") terms-tg.txt 184-184

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


(domain birthplace 1 Animal) Mid-level-ontology.kif 24252-24252 Il numero 1 argomenti di birthplace è un istanza di Animale
(domain burialplace 1 Animal) Biography.kif 204-204 Il numero 1 argomenti di burialplace è un istanza di Animale
(domain deathplace 1 Animal) Mid-level-ontology.kif 24296-24296 Il numero 1 argomenti di deathplace è un istanza di Animale
(domain detainee 2 Animal) Mid-level-ontology.kif 6784-6784 Il numero 2 argomenti di detainee è un istanza di Animale
(domain grasps 1 Animal) Merge.kif 11518-11518 Il numero 1 argomenti di grasps è un istanza di Animale
(domain wears 1 Animal) Merge.kif 15946-15946 Il numero 1 argomenti di wears è un istanza di Animale
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 20353-20353 Il numero 2 argomento meatOfAnimal è una sottoclasse diAnimale

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 10684-10695
(=>
    (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 10671-10682
(=>
    (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 6237-6246
(=>
    (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 15001-15012
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 11530-11537
(=>
    (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 2162-2175
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 11674-11679
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 11654-11659
(=>
    (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 11218-11228
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))		 Geography.kif 2708-2713
(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))		 Medicine.kif 5490-5500
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10527-10532
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 11449-11454
(=>
    (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 3397-3425
(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))		 Mid-level-ontology.kif 11836-11843
(=>
    (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 3539-3560
(=>
    (instance ?A Animal)
    (capability Drooling experiencer ?A))		 Mid-level-ontology.kif 6582-6584
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))		 Merge.kif 18150-18155
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18069-18079
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17653-17658

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 10943-10949 OggettoCorpuscolare è un' istanza di Vertebrato OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Animale OggettoCorpuscolare è un componente di OggettoCorpuscolare OggettoCorpuscolare è un' istanza di SpinalColumn
(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))		 Food.kif 2876-2882
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 4945-4950
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))		 Merge.kif 12281-12290
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 8861-8865
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))		 Mid-level-ontology.kif 21388-21392
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))		 Merge.kif 14625-14631
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))		 Mid-level-ontology.kif 2766-2773
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 11581-11585
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))		 Mid-level-ontology.kif 11575-11579
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))		 Mid-level-ontology.kif 24130-24136
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))		 Merge.kif 1420-1427
(=>
    (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 13477-13481
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15022-15027
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14838-14843
(=>
    (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 2739-2747
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))		 Mid-level-ontology.kif 2409-2414
(=>
    (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 4345-4354
(=>
    (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 6031-6040
(=>
    (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 491-503
(=>
    (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 11393-11398
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 15936-15943

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1744-1744 industryProductType FoodManufacturing and FoodForFn Animale
(subclass Apple
    (FoodForFn Animal))		 Food.kif 2180-2180 Apple è una sottoclasse di FoodForFn Animale
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2282-2282 Avocado è una sottoclasse di FoodForFn Animale
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2371-2371 Coconut è una sottoclasse di FoodForFn Animale
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2189-2189 DateFruit è una sottoclasse di FoodForFn Animale
(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 21632-21632 Honey è una sottoclasse di FoodForFn Animale
(subclass LemonFruit
    (FoodForFn Animal))		 Food.kif 2328-2328 LemonFruit è una sottoclasse di FoodForFn Animale
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2342-2342 OrangeFruit è una sottoclasse di FoodForFn Animale
(subclass Pea
    (FoodForFn Animal))		 Economy.kif 4113-4113 Pea è una sottoclasse di FoodForFn Animale
(subclass PearFruit
    (FoodForFn Animal))		 Food.kif 2194-2194 PearFruit è una sottoclasse di FoodForFn Animale
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3689-3689 WineGrape è una sottoclasse di FoodForFn Animale


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