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 14310-14311
(partition Animal Vertebrate Invertebrate)	Merge.kif 14309-14309	Animal is exhaustively partitioned into vertebrate and invertebrate
(subclass Animal Organism)	Merge.kif 14308-14308	Animal is a subclass of organism

appearance as argument number 2

(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 23670-23670	Every animal anatomical structure is initially part of a animal
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 11375-11375	Every animal shell is initially part of a animal
(initialPart Exoskeleton Animal)	Mid-level-ontology.kif 11519-11519	Every exoskeleton is initially part of a animal
(initialPart Hair Animal)	Mid-level-ontology.kif 11630-11630	Every hair is initially part of a animal
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 14219-14219	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Biped Animal)	Mid-level-ontology.kif 4367-4367	Biped is a subclass of animal
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 19798-19798	Domestic animal is a subclass of animal
(subclass Invertebrate Animal)	Merge.kif 14365-14365	Invertebrate is a subclass of animal
(subclass Locust Animal)	Geography.kif 6494-6494	Locust is a subclass of animal
(subclass Vertebrate Animal)	Merge.kif 14362-14362	Vertebrate is a subclass of animal
(termFormat ChineseLanguage Animal "动物")	chinese_format.kif 972-972
(termFormat EnglishLanguage Animal "animal")	english_format.kif 1151-1151

appearance as argument number 3

(domain birthplace 1 Animal)	Mid-level-ontology.kif 24139-24139	The number 1 argument of birthplace is an instance of animal
(domain burialplace 1 Animal)	Biography.kif 92-92	The number 1 argument of burialplace is an instance of animal
(domain deathplace 1 Animal)	Mid-level-ontology.kif 24183-24183	The number 1 argument of deathplace is an instance of animal
(domain detainee 2 Animal)	Mid-level-ontology.kif 6744-6744	The number 2 argument of detainee is an instance of animal
(domain grasps 1 Animal)	Merge.kif 11419-11419	The number 1 argument of grasps is an instance of animal
(domain wears 1 Animal)	Merge.kif 15777-15777	The number 1 argument of wears is an instance of animal
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 20127-20127	The number 2 argument of meat of animal is a subclass of animal
(domainSubclass productOfAnimal 2 Animal)	Mid-level-ontology.kif 20118-20118	The number 2 argument of product of animal is a subclass of animal

antecedent

(=> (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 14838-14849	If an object is an instance of animal and another object is an instance of the an anti-symmetric positional attribute a kind of body part and the anti-symmetric positional attribute is the opposite of the anti-symmetric positional attributeO and healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the anti-symmetric positional attributeO a kind of body part and the other object is the anti-symmetric positional attribute to the other objectO
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile)))	Mid-level-ontology.kif 11377-11384	If an object is an instance of animal and another object is an instance of animal shell and the other object is a part of the object, then the object is an instance of invertebrate or the object is an instance of 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) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2127-2140	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate))	Mid-level-ontology.kif 11521-11526	If an object is an instance of animal and another object is an instance of exoskeleton and the other object is a part of the object, then the object is an instance of invertebrate
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate))	Mid-level-ontology.kif 11501-11506	If an object is an instance of animal and another object is an instance of skeleton and the other object is a part of the object, then the object is an instance of vertebrate
(=> (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 11084-11094	If an object is an instance of chest and a class is an instance of animal and the object is an instance of the class and the object is a part of the class, then there exists another object such that the other object is an instance of torso and the object is a part of the other object and the other object is a part of the class
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish))	Geography.kif 2713-2718	If a process is an instance of fishing and an entity is a patient of the process and the entity is an instance of animal, then the entity is an instance of fish
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake)))	Merge.kif 10460-10465	If a process is an instance of intentional process and an agent is an agent of the process and the agent is an instance of animal, then awake is an attribute of the agent holds during the time of existence of the process
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate))	Mid-level-ontology.kif 11314-11319	If an object is an instance of nervous system and the object is a part of another object and the other object is an instance of animal, then the other object is an instance of vertebrate
(=> (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 3389-3417	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
(=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living)))	Mid-level-ontology.kif 11683-11690	If an object is an instance of vital organ and another object is an instance of animal and the object is not a part of the other object, then living is not an attribute of the other object
(=> (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 3531-3552	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
(=> (instance ?A Animal) (capability Drooling experiencer ?A))	Mid-level-ontology.kif 6543-6545	If an object is an instance of animal, then the object is capable of doing drooling as a experiencer
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR))))	Merge.kif 17969-17974	If an object is an instance of animal, then there exists an attribute such that the attribute is an instance of sex attribute and the attribute is an attribute of the object
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR)))))	Merge.kif 17892-17902	If an agent is an instance of animal, then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 17476-17481	If an object is an instance of food for animal, then there exists an attribute such that the attribute is an instance of taste attribute and the attribute is an attribute of the object

consequent

(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 10810-10816	A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column
(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT))))	Merge.kif 12121-12130	If a process is an instance of surgery and an entity is a patient of the process, then there exists another process such that the other process is an instance of cutting and the entity is an instance of animal and the entity is a patient of the other process and the other process is a subprocess of the process
(=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal))	Mid-level-ontology.kif 8821-8825	If a process is an instance of bathing and an entity is a patient of the process, then the entity is an instance of animal
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 21167-21171	If a process is an instance of bleeding and an agent experiences the process, then the agent is an instance of animal
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal))	Merge.kif 14465-14471	If an agent is an instance of carnivore and a process is an instance of eating and the agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of animal
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A))))	Mid-level-ontology.kif 2731-2738	If an object is an instance of animal powered device and the object is an instrument for a process, then there exists another object such that the other object is an instance of animal and the other object is an instrument for the process
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal))	Mid-level-ontology.kif 11428-11432	If a process is an instance of feeding and the process ends up at an entity, then the entity is an instance of animal
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 11422-11426	If a process is an instance of feeding and an entity is a patient of the process, then the entity is an instance of food for animal
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 24075-24081	If a process is an instance of laying eggs and an agent experiences the process, then the agent is an instance of animal and female is an attribute of the agent
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1379-1386	If an object is an instance of animal language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of animal and the agent is not an instance of 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	If a collection is an instance of organization and agriculture forestry fishing and hunting is an attribute of the collection, then there exist a process and an agent such that the agent is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the process is an instance of killing or the process is an instance of maintaining and the entity is a patient of the process and the entity is an instance of animal or the entity is an instance of plant and the entity is not an instance of human and the agent2 is a member of the collection and the process2 is an instance of selling and the agent2 is an agent of the process2 and the entity is a patient of the process2
(=> (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 7319-7333	If a collection is an instance of organization and food and beverage stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an entity such that the agent is an instance of selling and the entity is an instance of food for animal or the entity is an instance of beverage and the entity is a patient of the agent
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))	Merge.kif 13317-13321	If a process is an instance of perception and an agent is an agent of the process, then the agent is an instance of animal
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 14859-14864	If an object is an instance of animal anatomical structure and another object is an instance of organism and the object is a part of the other object, then the other object is an instance of animal
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 14675-14680	If an object is an instance of animal substance and another object is an instance of organism and the object is a part of the other object, then the other object is an instance of 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 2704-2712	If a physical is an instance of animal controller, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the physical is an instrument for the entity and the other entity is an instance of animal and the other entity is a patient of the entity
(=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A))))	Mid-level-ontology.kif 2374-2379	If an entity is an instance of toy animal, then there exists another entity such that the other entity is an instance of animal and the entity expresses the other entity
(=> (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 4305-4314	If a process is an instance of animal guiding, then there exist an agent, a transfer and another agent such that the agent is an instance of animal and the other agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
(=> (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 5939-5948	If an entity is an instance of burrow, then there exist a process and an agent such that the process is an instance of process and the agent is an agent of the process and the agent is an instance of animal and the agent is not an instance of human and the entity is a result of the process
(=> (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	If a physical is an instance of CS gas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of injuring and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of animal
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL))))	Merge.kif 11294-11299	If a process is an instance of carrying, then there exists an object such that the object is an instance of animal and the object is an instrument for the process
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15767-15774	If a physical is an instance of clothing, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is a part of the entity and the physical covers the other entity
(=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT))))	Merge.kif 12067-12072	If a process is an instance of confining, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process
(=> (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 4393-4402	If a physical is an instance of dish, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the 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	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1755-1755	Food for animal is an industry product type of food manufacturing
(subclass Apple (FoodForFn Animal))	Mid-level-ontology.kif 21594-21594	Apple is a subclass of food for animal
(subclass Avocado (FoodForFn Animal))	Mid-level-ontology.kif 21609-21609	Avocado is a subclass of food for animal
(subclass Coconut (FoodForFn Animal))	Mid-level-ontology.kif 21531-21531	Coconut is a subclass of food for animal
(subclass DateFruit (FoodForFn Animal))	Mid-level-ontology.kif 21599-21599	Date fruit is a subclass of food for animal
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 21517-21517	Honey is a subclass of food for animal
(subclass LemonFruit (FoodForFn Animal))	Economy.kif 4040-4040	Lemon is a subclass of food for animal
(subclass OrangeFruit (FoodForFn Animal))	Economy.kif 4047-4047	Orange fruit is a subclass of food for animal
(subclass Pea (FoodForFn Animal))	Mid-level-ontology.kif 21498-21498	Pea is a subclass of food for animal
(subclass PearFruit (FoodForFn Animal))	Mid-level-ontology.kif 21604-21604	Pear fruit is a subclass of food for animal
(subclass WineGrape (FoodForFn Animal))	Food.kif 1103-1103	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

KB Term:			Term intersection

English Word: