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 14203-14204
(partition Animal Vertebrate Invertebrate) Merge.kif 14202-14202 partition Animal, Vertebrate and Invertebrate
(subclass Animal Organism) Merge.kif 14201-14201 subclass Animal and Organism

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23253-23253 initialPart AnimalAnatomicalStructure and Animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11065-11065 initialPart AnimalShell and Animal
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11209-11209 initialPart Exoskeleton and Animal
(initialPart Hair Animal) Mid-level-ontology.kif 11320-11320 initialPart Hair and Animal
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14112-14112 partition Organism, Animal, Plant, Fungus and Microorganism
(subclass Biped Animal) Mid-level-ontology.kif 4313-4313 subclass Biped and Animal
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 19425-19425 subclass DomesticAnimal and Animal
(subclass Invertebrate Animal) Merge.kif 14258-14258 subclass Invertebrate and Animal
(subclass Locust Animal) Geography.kif 6482-6482 subclass Locust and Animal
(subclass Vertebrate Animal) Merge.kif 14255-14255 subclass Vertebrate and Animal
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972
(termFormat EnglishLanguage Animal "animal") english_format.kif 1151-1151

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


(domain birthplace 1 Animal) Mid-level-ontology.kif 23719-23719 domain birthplace, 1 and Animal
(domain burialplace 1 Animal) Biography.kif 92-92 domain burialplace, 1 and Animal
(domain deathplace 1 Animal) Mid-level-ontology.kif 23763-23763 domain deathplace, 1 and Animal
(domain detainee 2 Animal) Mid-level-ontology.kif 6483-6483 domain detainee, 2 and Animal
(domain grasps 1 Animal) Merge.kif 11342-11342 domain grasps, 1 and Animal
(domain wears 1 Animal) Merge.kif 15670-15670 domain wears, 1 and Animal
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 19754-19754 domainSubclass meatOfAnimal, 2 and Animal
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 19745-19745 domainSubclass productOfAnimal, 2 and Animal

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


(=>
    (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 14731-14742
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 11067-11074
(=>
    (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 2125-2138
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 11211-11216
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 11191-11196
(=>
    (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 10774-10784
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))
Geography.kif 2711-2716
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 10423-10428
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 11004-11009
(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))
Mid-level-ontology.kif 11373-11380
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))
Merge.kif 17862-17867
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 17785-17795
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 17369-17374

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 10500-10506 instance CorpuscularObject and Vertebrate CorpuscularObject instance CorpuscularObject and Animal component CorpuscularObject and CorpuscularObject instance CorpuscularObject and SpinalColumn
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))
Merge.kif 12044-12053
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 8511-8515
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 20790-20794
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))
Merge.kif 14358-14364
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))
Mid-level-ontology.kif 2729-2736
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 11118-11122
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 11112-11116
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 23655-23661
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))
Merge.kif 1368-1375
(=>
    (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 13228-13232
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14752-14757
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14568-14573
(=>
    (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 2702-2710
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))
Mid-level-ontology.kif 2372-2377
(=>
    (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 4251-4260
(=>
    (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 5928-5937
(=>
    (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 11217-11222
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))
Merge.kif 15660-15667
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))
Merge.kif 11990-11995
(=>
    (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 4339-4348
(=>
    (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1755-1755 industryProductType FoodManufacturing and FoodForFn Animal
(subclass Apple
    (FoodForFn Animal))
Mid-level-ontology.kif 21216-21216 subclass Apple and FoodForFn Animal
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 21231-21231 subclass Avocado and FoodForFn Animal
(subclass Coconut
    (FoodForFn Animal))
Mid-level-ontology.kif 21153-21153 subclass Coconut and FoodForFn Animal
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 21221-21221 subclass DateFruit and FoodForFn Animal
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 21139-21139 subclass Honey and FoodForFn Animal
(subclass LemonFruit
    (FoodForFn Animal))
Economy.kif 4036-4036 subclass LemonFruit and FoodForFn Animal
(subclass OrangeFruit
    (FoodForFn Animal))
Economy.kif 4043-4043 subclass OrangeFruit and FoodForFn Animal
(subclass Pea
    (FoodForFn Animal))
Mid-level-ontology.kif 21120-21120 subclass Pea and FoodForFn Animal
(subclass PearFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 21226-21226 subclass PearFruit and FoodForFn Animal
(subclass WineGrape
    (FoodForFn Animal))
Food.kif 1102-1102 subclass WineGrape and FoodForFn Animal


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