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


KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animal(animal)Animalia, Insessores, Mantophasmatodea, Mecoptera, abranchial, abranchiate, abranchious, acaudal, acaudate, acrodont, all-devouring, ametabolic, ametabolous, anguine, animal, animal_kingdom, animal_order, animate, animate_being, anthophagous, anthophilous, anurous, arenicolous, armored, armoured, autoecious, axenic, baccivorous, beakless, beast, beast_of_burden, big_game, biped, bipedal, bobtail, bobtailed, body, bone-covered, bottom-feeder, branchiate, broken, broken_in, brute, by-catch, bycatch, captive, carnivore, carpophagous, caudate, caudated...

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


(subclass Animal Organism) Merge.kif 14758-14758 Animal is a subclass of organism
(partition Animal Vertebrate Invertebrate) Merge.kif 14759-14759 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 14760-14761 Animal is exhaustively partitioned into vertebrate and invertebrate

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14670-14670 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Vertebrate Animal) Merge.kif 14812-14812 Vertebrate is a subclass of animal
(subclass Invertebrate Animal) Merge.kif 14815-14815 Invertebrate is a subclass of animal
(subclass Biped Animal) Mid-level-ontology.kif 4988-4988 Biped is a subclass of animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12990-12990 Every animal shell is initially part of a animal
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13134-13134 Every exoskeleton is initially part of a animal
(initialPart Hair Animal) Mid-level-ontology.kif 13245-13245 Every hair is initially part of a animal
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 22182-22182 Domestic animal is a subclass of animal
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 25994-25994 Every animal anatomical structure is initially part of a animal
(termFormat EnglishLanguage Animal "animal") english_format.kif 1155-1155 Every animal anatomical structure is initially part of a animal

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


(domain grasps 1 Animal) Merge.kif 11772-11772 The number 1 argument of grasps is an instance of animal
(domain wears 1 Animal) Merge.kif 16268-16268 The number 1 argument of wears is an instance of animal
(domain detainee 2 Animal) Mid-level-ontology.kif 8063-8063 The number 2 argument of detainee is an instance of animal
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 22543-22543 The number 2 argument of meat of animal is a subclass of animal
(domain birthplace 1 Animal) Mid-level-ontology.kif 26487-26487 The number 1 argument of birthplace is an instance of animal
(domain deathplace 1 Animal) Mid-level-ontology.kif 26546-26546 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 10750-10755 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
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17988-17993 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 18387-18397 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 18469-18474 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 2733-2746 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 7633-7635 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 12086-12097 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 12099-12110 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 12670-12680 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 12911-12916 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 12992-12999 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 13116-13121 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 13136-13141 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 13298-13305 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 ?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))))		 Mid-level-ontology.kif 32876-32887 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
(=>
    (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 3254-3282 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 3395-3416 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 4144-4149 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 5512-5522 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 6268-6277 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 1509-1516 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 10624-10629 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 11647-11652 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 11714-11722 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 12491-12496 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 12545-12554 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 13193-13198 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 13765-13769 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 14915-14921 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 15128-15133 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 15193-15204 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 15296-15301 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 16258-16265 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 2980-2985 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 3311-3319 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 3338-3345 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 4926-4935 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 5016-5025 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 8275-8282 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 8763-8770 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 9101-9108 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 10191-10195 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 10722-10730 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 11040-11051 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 12383-12389 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 23856-23856 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 2200-2200 Apple is a subclass of food for animal
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2209-2209 Date fruit is a subclass of food for animal
(subclass PearFruit
    (FoodForFn Animal))		 Food.kif 2214-2214 Pear fruit is a subclass of food for animal
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2302-2302 Avocado is a subclass of food for animal
(subclass LemonFruit
    (FoodForFn Animal))		 Food.kif 2348-2348 Lemon fruit is a subclass of food for animal
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2362-2362 Orange fruit is a subclass of food for animal
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2391-2391 Coconut is a subclass of food for animal
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3728-3728 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.0-59f850aa (2026-04-26) is open source software produced by Articulate Software and its partners