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。 它们没有硬的细胞壁、 质体和光合色素。") Merge.kif 18880-18881
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.") Merge.kif 18878-18879
(partition Animal Vertebrate Invertebrate) Merge.kif 18877-18877
(subclass Animal Organism) Merge.kif 18876-18876

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21634-21634
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9751-9751
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9893-9893
(initialPart Hair Animal) Mid-level-ontology.kif 9956-9956
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 18767-18767
(subclass Biped Animal) Mid-level-ontology.kif 4881-4881
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17774-17774
(subclass Invertebrate Animal) Merge.kif 18941-18941
(subclass Locust Animal) Geography.kif 6116-6116
(subclass Vertebrate Animal) Merge.kif 18937-18937
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972
(termFormat EnglishLanguage Animal "animal") english_format.kif 1614-1614
(termFormat JapaneseLanguage Animal "動物") english_format.kif 1615-1615

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


(domain birthplace 1 Animal) Mid-level-ontology.kif 21959-21959
(domain burialplace 1 Animal) Biography.kif 92-92
(domain deathplace 1 Animal) Mid-level-ontology.kif 22002-22002
(domain detainee 2 Animal) Mid-level-ontology.kif 6445-6445
(domain grasps 1 Animal) Merge.kif 15672-15672
(domain wears 1 Animal) Merge.kif 20449-20449
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 18106-18106
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 18097-18097

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


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 9753-9760
(=>
    (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 2621-2634
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9895-9900
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 9875-9880
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))
Geography.kif 2636-2641
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 14457-14462
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 9691-9696
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))
Merge.kif 22910-22915
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 22821-22831
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 22427-22432

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 9391-9397
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))
Merge.kif 16557-16566
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 8538-8542
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 19038-19042
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))
Merge.kif 19060-19066
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))
Mid-level-ontology.kif 3230-3237
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 9803-9807
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 9797-9801
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 21895-21901
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))
Merge.kif 2269-2276
(=>
    (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 17833-17837
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 19498-19503
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 19317-19322
(=>
    (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 3203-3211
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))
Mid-level-ontology.kif 2870-2875
(=>
    (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 4819-4828
(=>
    (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 5612-5621
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?INJ ?ORG)
            (and
                (instance ?INJ Injuring)
                (instrument ?INJ ?C)
                (patient ?INJ ?ORG)
                (instance ?ORG Animal)))))
MilitaryDevices.kif 1344-1352
(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))
Merge.kif 15485-15490
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))
Merge.kif 16495-16500
(=>
    (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 4907-4916
(=>
    (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 7190-7197

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
(subclass Apple
    (FoodForFn Animal))
Mid-level-ontology.kif 19440-19440
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 19455-19455
(subclass Coconut
    (FoodForFn Animal))
Mid-level-ontology.kif 19405-19405
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19445-19445
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 19391-19391
(subclass LemonFruit
    (FoodForFn Animal))
Economy.kif 3947-3947
(subclass OrangeFruit
    (FoodForFn Animal))
Economy.kif 3954-3954
(subclass Pea
    (FoodForFn Animal))
Mid-level-ontology.kif 19369-19369
(subclass PearFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19450-19450


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