Animal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Animal ChineseLanguage "这是一种有真核 Cell 的 Organism。它们没有硬的细胞壁、质体和光合色素。")	chinese_format.kif 3392-3393
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.")	Merge.kif 13295-13296
(partition Animal Vertebrate Invertebrate)	Merge.kif 13294-13294	partition Animal, Vertebrate and Invertebrate
(subclass Animal Organism)	Merge.kif 13293-13293	subclass Animal and Organism

appearance as argument number 2

(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 21634-21634	initialPart AnimalAnatomicalStructure and Animal
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 9752-9752	initialPart AnimalShell and Animal
(initialPart Exoskeleton Animal)	Mid-level-ontology.kif 9894-9894	initialPart Exoskeleton and Animal
(initialPart Hair Animal)	Mid-level-ontology.kif 9957-9957	initialPart Hair and Animal
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 13204-13204	partition Organism, Animal, Plant, Fungus and Microorganism
(subclass Biped Animal)	Mid-level-ontology.kif 4875-4875	subclass Biped and Animal
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 17774-17774	subclass DomesticAnimal and Animal
(subclass Invertebrate Animal)	Merge.kif 13350-13350	subclass Invertebrate and Animal
(subclass Locust Animal)	Geography.kif 6132-6132	subclass Locust and Animal
(subclass Vertebrate Animal)	Merge.kif 13347-13347	subclass Vertebrate and Animal
(termFormat ChineseLanguage Animal "动物")	chinese_format.kif 972-972	termFormat ChineseLanguage, Animal and "动物"
(termFormat EnglishLanguage Animal "animal")	english_format.kif 1156-1156	termFormat EnglishLanguage, Animal and "animal"

appearance as argument number 3

(domain birthplace 1 Animal)	Mid-level-ontology.kif 21959-21959	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 22002-22002	domain deathplace, 1 and Animal
(domain detainee 2 Animal)	Mid-level-ontology.kif 6445-6445	domain detainee, 2 and Animal
(domain grasps 1 Animal)	Merge.kif 10595-10595	domain grasps, 1 and Animal
(domain wears 1 Animal)	Merge.kif 14641-14641	domain wears, 1 and Animal
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 18106-18106	domainSubclass meatOfAnimal, 2 and Animal
(domainSubclass productOfAnimal 2 Animal)	Mid-level-ontology.kif 18097-18097	domainSubclass productOfAnimal, 2 and Animal

antecedent

(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile)))	Mid-level-ontology.kif 9754-9761	instance Object and Animal instance Object and AnimalShell part Object and Object instance Object and Invertebrate instance Object and Reptile
(=> (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 2616-2629	instance Agent and Animal instance Entity and DiseaseOrSyndrome attribute Agent and Entity Process Entity instance Process and BiologicalProcess instance Process and Removing origin Process and Agent instance Entity and Sewage agent Process and Agent patient Process and Entity
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate))	Mid-level-ontology.kif 9896-9901	instance Object and Animal instance Object and Exoskeleton part Object and Object instance Object and Invertebrate
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate))	Mid-level-ontology.kif 9876-9881	instance Object and Animal instance Object and Skeleton part Object and Object instance Object and Vertebrate
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish))	Geography.kif 2648-2653	instance Process and Fishing patient Process and Entity instance Entity and Animal instance Entity and Fish
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake)))	Merge.kif 9762-9767	instance Process and IntentionalProcess agent Process and Agent instance Agent and Animal holdsDuring WhenFn Process and attribute Agent and Awake
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate))	Mid-level-ontology.kif 9692-9697	instance Object and NervousSystem part Object and Object instance Object and Animal instance Object and Vertebrate
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR))))	Merge.kif 16689-16694	instance Object and Animal Entity instance Entity and SexAttribute attribute Object and Entity
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR)))))	Merge.kif 16612-16622	instance Agent and Animal Process instance Process and BodyMotion agent Process and Agent Entity instance Entity and BodyPosition attribute Agent and Entity
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 16287-16292	instance Object and FoodForFn Animal Entity instance Entity and TasteAttribute attribute Object and Entity

consequent

(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 9392-9398	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 11271-11280	instance Process and Surgery patient Process and Entity Process instance Process and Cutting instance Entity and Animal patient Process and Entity subProcess Process and Process
(=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal))	Mid-level-ontology.kif 8539-8543	instance Process and Bathing patient Process and Entity instance Entity and Animal
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 19038-19042	instance Process and Bleeding experiencer Process and Agent instance Agent and Animal
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal))	Merge.kif 13441-13447	instance Agent and Carnivore instance Process and Eating agent Process and Agent patient Process and Entity instance Entity and Animal
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A))))	Mid-level-ontology.kif 3225-3232	instance Object and AnimalPoweredDevice instrument Process and Object Object instance Object and Animal instrument Process and Object
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal))	Mid-level-ontology.kif 9804-9808	instance Process and Feeding destination Process and Entity instance Entity and Animal
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 9798-9802	instance Process and Feeding patient Process and Entity instance Entity and FoodForFn Animal
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 21895-21901	instance Process and LayingEggs experiencer Process and Agent instance Agent and Animal attribute Agent and Female
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1304-1311	instance Object and AnimalLanguage agent Process and Agent instrument Process and Object instance Agent and Animal instance Agent and Human
(=> (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	instance Collection and Organization attribute Collection and AgricultureForestryFishingAndHunting Process Agent member Agent and Collection agent Process and Agent Entity Process and Agent instance Process and Killing instance Process and Maintaining patient Process and Entity instance Entity and Animal instance Entity and Plant instance Entity and Human member Agent and Collection instance Process and Selling agent Process and Agent patient Process and Entity
(=> (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	instance Collection and Organization attribute Collection and FoodAndBeverageStores Agent Object member Object and Collection agent Object and Agent Entity instance Agent and Selling instance Entity and FoodForFn Animal instance Entity and Beverage patient Agent and Entity
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))	Merge.kif 12387-12391	instance Process and Perception agent Process and Agent instance Agent and Animal
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 13809-13814	instance Object and AnimalAnatomicalStructure instance Object and Organism part Object and Object instance Object and Animal
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 13651-13656	instance Object and AnimalSubstance instance Object and Organism part Object and Object instance Object and Animal
(=> (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 3198-3206	instance Physical and AnimalController hasPurpose Physical and entity entity instance entity and Guiding instrument entity and Physical instance entity and Animal patient entity and entity
(=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A))))	Mid-level-ontology.kif 2865-2870	instance Entity and AnimalDoll Entity instance Entity and Animal represents Entity and Entity
(=> (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 4813-4822	instance Process and AnimalGuiding Agent Transfer instance Agent and Animal agent Process and Agent instance Transfer and Carrying agent Transfer and Agent objectTransferred Transfer and Agent instrument Process and Agent
(=> (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 5628-5637	instance Entity and Burrow Process Agent instance Process and Process agent Process and Agent instance Agent and Animal instance Agent and Human result Process and Entity
(=> (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 Physical and CSGas hasPurpose Physical and entity entity instance entity and Injuring instrument entity and Physical patient entity and entity instance entity and Animal
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL))))	Merge.kif 10470-10475	instance Process and Carrying Object instance Object and Animal instrument Process and Object
(=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT))))	Merge.kif 11217-11222	instance Process and Confining Entity instance Entity and Animal patient Process and Entity
(=> (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 4901-4910	instance Physical and Dish hasPurpose Physical and entity entity instance entity and Eating patient entity and entity patient entity and Physical instance entity and FoodForFn Animal located entity and Physical
(=> (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 Process and FoodDistributionOperation Entity Entity instance Entity and FoodForFn Animal instance Entity and CognitiveAgent patient Process and Entity destination Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and possesses Entity and Entity
(=> (instance ?GROUP GroupOfAnimals) (forall (?MEMBER) (=> (member ?MEMBER ?GROUP) (and (instance ?MEMBER Animal) (not (instance ?MEMBER Human))))))	Mid-level-ontology.kif 7190-7197	instance Collection and GroupOfAnimals Object member Object and Collection instance Object and Animal instance Object and Human

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	industryProductType FoodManufacturing and FoodForFn Animal
(subclass Apple (FoodForFn Animal))	Mid-level-ontology.kif 19440-19440	subclass Apple and FoodForFn Animal
(subclass Avocado (FoodForFn Animal))	Mid-level-ontology.kif 19455-19455	subclass Avocado and FoodForFn Animal
(subclass Coconut (FoodForFn Animal))	Mid-level-ontology.kif 19405-19405	subclass Coconut and FoodForFn Animal
(subclass DateFruit (FoodForFn Animal))	Mid-level-ontology.kif 19445-19445	subclass DateFruit and FoodForFn Animal
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 19391-19391	subclass Honey and FoodForFn Animal
(subclass LemonFruit (FoodForFn Animal))	Economy.kif 3947-3947	subclass LemonFruit and FoodForFn Animal
(subclass OrangeFruit (FoodForFn Animal))	Economy.kif 3954-3954	subclass OrangeFruit and FoodForFn Animal
(subclass Pea (FoodForFn Animal))	Mid-level-ontology.kif 19369-19369	subclass Pea and FoodForFn Animal
(subclass PearFruit (FoodForFn Animal))	Mid-level-ontology.kif 19450-19450	subclass PearFruit and FoodForFn 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: