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 14625-14625 Animal is a subclass of organism
(partition Animal Vertebrate Invertebrate) Merge.kif 14626-14626 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 14627-14628 Animal is exhaustively partitioned into vertebrate and invertebrate

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14537-14537 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Vertebrate Animal) Merge.kif 14679-14679 Vertebrate is a subclass of animal
(subclass Invertebrate Animal) Merge.kif 14682-14682 Invertebrate is a subclass of animal
(subclass Biped Animal) Mid-level-ontology.kif 4883-4883 Biped is a subclass of animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12960-12960 Every animal shell is initially part of a animal
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13104-13104 Every exoskeleton is initially part of a animal
(initialPart Hair Animal) Mid-level-ontology.kif 13215-13215 Every hair is initially part of a animal
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 22282-22282 Domestic animal is a subclass of animal
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 26088-26088 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 11670-11670 The number 1 argument of grasps is an instance of animal
(domain wears 1 Animal) Merge.kif 16144-16144 The number 1 argument of wears is an instance of animal
(domain detainee 2 Animal) Mid-level-ontology.kif 7974-7974 The number 2 argument of detainee is an instance of animal
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 22653-22653 The number 2 argument of meat of animal is a subclass of animal
(domain birthplace 1 Animal) Mid-level-ontology.kif 26619-26619 The number 1 argument of birthplace is an instance of animal
(domain deathplace 1 Animal) Mid-level-ontology.kif 26678-26678 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 10672-10677 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 17860-17865 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 18259-18269 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 18341-18346 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 2630-2643 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 7548-7550 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 12073-12084 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 12086-12097 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 12646-12656 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 12881-12886 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 12962-12969 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 13086-13091 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 13106-13111 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 13268-13275 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 32927-32938 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 3479-3507 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 3620-3641 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 4159-4164 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 5473-5483 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 6229-6238 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 1450-1457 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 10546-10551 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 11545-11550 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 11612-11620 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 12382-12387 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 12436-12445 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 13084-13089 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 13637-13641 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 14782-14788 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 14995-15000 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 15162-15167 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 16134-16141 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 2877-2882 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 3208-3216 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 3235-3242 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 4821-4830 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 4911-4920 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 8186-8193 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 8693-8700 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 9031-9038 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 10115-10119 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 10650-10658 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 10981-10992 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 12371-12377 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 23990-23990 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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners