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


KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animal(animal)

appearance as argument number 1
-------------------------


(subclass Animal Organism) Merge.kif 14621-14621 Animal is a subclass of organism
(partition Animal Vertebrate Invertebrate) Merge.kif 14622-14622 Animal is exhaustively partitioned into vertebrate and invertebrate
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.") Merge.kif 14623-14624 Animal is exhaustively partitioned into vertebrate and invertebrate

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14532-14532 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Vertebrate Animal) Merge.kif 14675-14675 Vertebrate is a subclass of animal
(subclass Invertebrate Animal) Merge.kif 14678-14678 Invertebrate is a subclass of animal
(subclass Biped Animal) Mid-level-ontology.kif 4867-4867 Biped is a subclass of animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12926-12926 Every animal shell is initially part of a animal
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13070-13070 Every exoskeleton is initially part of a animal
(initialPart Hair Animal) Mid-level-ontology.kif 13181-13181 Every hair is initially part of a animal
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 22288-22288 Domestic animal is a subclass of animal
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 26104-26104 Every animal anatomical structure is initially part of a animal
(termFormat EnglishLanguage Animal "animal") english_format.kif 1151-1151 Every animal anatomical structure is initially part of a animal

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


(domain grasps 1 Animal) Merge.kif 11666-11666 The number 1 argument of grasps is an instance of animal
(domain wears 1 Animal) Merge.kif 16122-16122 The number 1 argument of wears is an instance of animal
(domain detainee 2 Animal) Mid-level-ontology.kif 7964-7964 The number 2 argument of detainee is an instance of animal
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 22659-22659 The number 2 argument of meat of animal is a subclass of animal
(domain birthplace 1 Animal) Mid-level-ontology.kif 26637-26637 The number 1 argument of birthplace is an instance of animal
(domain deathplace 1 Animal) Mid-level-ontology.kif 26696-26696 The number 1 argument of deathplace is an instance of animal
(domain burialplace 1 Animal) Biography.kif 209-209 The number 1 argument of burialplace is an instance of animal

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


(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10663-10668 If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X
(=>
    (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 15154-15165 If X is an instance of animal, Y is an instance of the Z W, Z is the opposite of V, and healthy is an attribute of X, then there exists U such that U is an instance of the V W and Y is Z to U
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17834-17839 If X is an instance of food for animal, then there exists Y such that Y is an instance of taste attribute and Y is an attribute of X
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18253-18263 If X is an instance of animal, then there exists Y such that Y is an instance of body motion and X is an agent of Y or there exists Z such that Z is an instance of body position and Z is an attribute of X
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))		 Merge.kif 18335-18340 If X is an instance of animal, then there exists Y such that Y is an instance of sex attribute and Y is an attribute of X
(=>
    (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)
            (experiencer ?P ?ANI)
            (objectTransferred ?P ?W))))		 Mid-level-ontology.kif 2643-2656 If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W
(=>
    (instance ?A Animal)
    (capability Drooling experiencer ?A))		 Mid-level-ontology.kif 7538-7540 If X is an instance of animal, then X is capable of doing drooling as a experiencer
(=>
    (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 12043-12054 If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of flexion (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing extension as a instrument
(=>
    (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 12056-12067 If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of extension (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing flexion as a instrument
(=>
    (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 12612-12622 If X is an instance of chest, Y is an instance of animal, X is an instance of Y, and X is a part of Y, then there exists Z such that Z is an instance of torso, X is a part of Z, and Z is a part of Y
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 12847-12852 If X is an instance of nervous system, X is a part of Y, and Y is an instance of animal, then Y is an instance of vertebrate
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 12928-12935 If X is an instance of animal, Y is an instance of animal shell, and Y is a part of X, then X is an instance of invertebrate or X is an instance of reptile
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 13052-13057 If X is an instance of animal, Y is an instance of skeleton, and Y is a part of X, then X is an instance of vertebrate
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 13072-13077 If X is an instance of animal, Y is an instance of exoskeleton, and Y is a part of X, then X is an instance of invertebrate
(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))		 Mid-level-ontology.kif 13234-13241 If X is an instance of vital organ, Y is an instance of animal, and X is not a part of Y, then living is not an attribute of Y
(=>
    (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 3467-3495 If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W
(=>
    (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 3609-3630 If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))		 Geography.kif 4163-4168 If X is an instance of fishing, Y is a patient of X, and Y is an instance of animal, then Y is an instance of fish
(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))		 Medicine.kif 5474-5484 If X is an instance of intestine, Y is an instance of animal, and X is a part of Y, then the statement there exists Z such that Z is an instance of E. coli and X contains Z has the modal force of likely
(=>
    (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 6230-6239 If X is an instance of body area Y, Z is an instance of animal, and X is a part of Z, then there exists W such that W is an instance of Y, X is near to W, and W is a part of Z

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


(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))		 Merge.kif 1455-1462 If X is an instance of animal language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of animal and Y is not an instance of human
(=>
    (instance ?PROCESS PsychologicalProcess)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (experiencer ?PROCESS ?ANIMAL))))		 Merge.kif 10537-10542 If X is an instance of psychological process, then there exists Y such that Y is an instance of animal and Y experiences X
(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))		 Merge.kif 11541-11546 If X is an instance of carrying, then there exists Y such that Y is an instance of animal and Y is an instrument for X
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))		 Merge.kif 11608-11616 If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))		 Merge.kif 12377-12382 If X is an instance of confining, then there exists Y such that Y is an instance of animal and Y is a patient of X
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))		 Merge.kif 12431-12440 If X is an instance of surgery and Y is a patient of X, then there exists Z such that Z is an instance of cutting, Y is an instance of animal, Y is a patient of Z, and Z is a subprocess of X
(=>
    (instance ?H Hunting)
    (exists (?T)
        (and
            (instance ?T Animal)
            (patient ?H ?T))))		 Merge.kif 13079-13084 If X is an instance of hunting, then there exists Y such that Y is an instance of animal and Y is a patient of X
(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))		 Merge.kif 13631-13635 If X is an instance of perception and Y is an agent of X, then Y is an instance of animal
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))		 Merge.kif 14778-14784 If X is an instance of carnivore, Y is an instance of eating, X is an agent of Y, and Z is a patient of Y, then Z is an instance of animal
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14991-14996 If X is an instance of animal substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal
(=>
    (instance ?MEAT Meat)
    (forall (?PART)
        (=>
            (part ?PART ?MEAT)
            (exists (?SUBPART ?TIME ?ANIMAL)
                (and
                    (part ?SUBPART ?PART)
                    (holdsDuring ?TIME
                        (and
                            (instance ?ANIMAL Animal)
                            (part ?SUBPART ?ANIMAL))))))))		 Merge.kif 15059-15070 If X is an instance of meat, then For all Object Y: if Y is a part of X, then there exist Z, W, V such that Z is a part of Y, V is an instance of animal, and Z is a part of V holds during W
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15175-15180 If X is an instance of animal anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 16112-16119 If X is an instance of clothing, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is a part of Y, and X covers Z
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))		 Mid-level-ontology.kif 2890-2895 If X is an instance of toy animal, then there exists Y such that Y is an instance of animal and X expresses Y
(=>
    (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 3219-3227 If X is an instance of animal controller, then X has the purpose there exist Y, Z such that Y is an instance of guiding, X is an instrument for Y, Z is an instance of animal, and Z is a patient of Y
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))		 Mid-level-ontology.kif 3246-3253 If X is an instance of animal powered device and X is an instrument for Y, then there exists Z such that Z is an instance of animal and Z is an instrument for Y
(=>
    (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 4805-4814 If X is an instance of animal guiding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) W is an agent of X (4) Z is an instance of carrying (5) Y is an agent of Z (6) the object transferred in Z is W (7) Y is an instrument for X
(=>
    (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 4895-4904 If X is an instance of dish, then X has the purpose there exist Y, Z such that Z is an instance of eating, Y is a patient of Z, X is a patient of Z, Y is an instance of food for animal, and Y is located at X
(=>
    (instance ?RESIDENCE AnimalResidence)
    (hasPurpose ?RESIDENCE
        (exists (?ANIMAL)
            (and
                (instance ?ANIMAL Animal)
                (not
                    (instance ?ANIMAL Human))
                (inhabits ?ANIMAL ?RESIDENCE)))))		 Mid-level-ontology.kif 8176-8183 If X is an instance of animal residence, then X has the purpose there exists Y such that Y is an instance of animal, Y is not an instance of human, and Y lives in X
(=>
    (and
        (instance ?GROUP GroupOfAnimals)
        (member ?MEMBER ?GROUP))
    (and
        (instance ?MEMBER Animal)
        (not
            (instance ?MEMBER Human))))		 Mid-level-ontology.kif 8687-8694 If X is an instance of group of animals and Y is a member of X, then Y is an instance of animal and Y is not an instance of human
(=>
    (instance ?STORE GroceryStore)
    (exists (?SELL ?FOOD)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?STORE)
            (patient ?SELL ?FOOD)
            (instance ?FOOD
                (FoodForFn Animal)))))		 Mid-level-ontology.kif 9025-9032 If X is an instance of grocery store, then there exist Y, Z such that Y is an instance of selling, X is an agent of Y, Z is a patient of Y, and Z is an instance of food for animal
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 10109-10113 If X is an instance of bathing and Y is a patient of X, then Y is an instance of animal
(=>
    (instance ?P Pill)
    (hasPurpose ?P
        (exists (?A ?I)
            (and
                (instance ?A Animal)
                (instance ?I Ingesting)
                (experiencer ?I ?A)
                (objectTransferred ?I ?P)))))		 Mid-level-ontology.kif 10625-10633 If X is an instance of pill, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is an instance of ingesting, Y experiences Z, and the object transferred in Z is X
(=>
    (instance ?SPINE PlantSpinoseStructure)
    (modalAttribute
        (exists (?I ?P ?A)
            (and
                (instance ?I Inserting)
                (instrument ?I ?SPINE)
                (instance ?A Animal)
                (patient ?I ?A)
                (causes ?I ?P)
                (instance ?P Pain)
                (experiencer ?P ?A))) Possibility))		 Mid-level-ontology.kif 10956-10967 If X is an instance of plant spinose structure, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) W is an instance of animal (5) W is a patient of Y (6) Y causes Z (7) Z is an instance of pain (8) W experiences Z has the modal force of possibility
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12337-12343 X is an instance of vertebrate if, only if there exists Y such that X is an instance of animal, Y is a component of X, and Y is an instance of spinal column

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 23997-23997 Honey is a subclass of food for animal
(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1864-1864 Food for animal is an industry product type of food manufacturing
(subclass Pea
    (FoodForFn Animal))		 Economy.kif 4445-4445 Pea is a subclass of food for animal
(subclass Apple
    (FoodForFn Animal))		 Food.kif 2187-2187 Apple is a subclass of food for animal
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2196-2196 Date fruit is a subclass of food for animal
(subclass PearFruit
    (FoodForFn Animal))		 Food.kif 2201-2201 Pear fruit is a subclass of food for animal
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2289-2289 Avocado is a subclass of food for animal
(subclass LemonFruit
    (FoodForFn Animal))		 Food.kif 2335-2335 Lemon fruit is a subclass of food for animal
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2349-2349 Orange fruit is a subclass of food for animal
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2378-2378 Coconut is a subclass of food for animal
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3698-3698 Wine grape is a subclass of food for 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