Animal - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Animal,s__ChineseLanguage,'"这是一种有真核 Cell 的 Organism。它们没有硬的细胞壁、质体和光合色素。"')	chinese_format.kif 3392-3393
s__documentation(s__Animal,s__EnglishLanguage,'"An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments."')	Merge.kif 13386-13387
s__partition__3(s__Animal,s__Vertebrate,s__Invertebrate)	Merge.kif 13385-13385	Animal is exhaustively partitioned into vertebrate and invertebrate
s__instance(s__Organism,s__SetOrClass) s__subclass(s__Animal,s__Organism) s__instance(s__Animal,s__SetOrClass)	Merge.kif 13384-13384	Animal is a subclass of organism

appearance as argument number 2

s__initialPart(s__AnimalAnatomicalStructure,s__Animal)	Mid-level-ontology.kif 21646-21646	Every animal anatomical structure is initially part of a animal
s__initialPart(s__AnimalShell,s__Animal)	Mid-level-ontology.kif 9753-9753	Every animal shell is initially part of a animal
s__initialPart(s__Exoskeleton,s__Animal)	Mid-level-ontology.kif 9895-9895	Every exoskeleton is initially part of a animal
s__initialPart(s__Hair,s__Animal)	Mid-level-ontology.kif 9958-9958	Every hair is initially part of a animal
s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)	Merge.kif 13295-13295	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
s__instance(s__Biped,s__SetOrClass) s__subclass(s__Biped,s__Animal) s__instance(s__Animal,s__SetOrClass)	Mid-level-ontology.kif 4875-4875	Biped is a subclass of animal
s__instance(s__Animal,s__SetOrClass) s__instance(s__DomesticAnimal,s__SetOrClass) s__subclass(s__DomesticAnimal,s__Animal)	Mid-level-ontology.kif 17775-17775	Domestic animal is a subclass of animal
s__instance(s__Invertebrate,s__SetOrClass) s__subclass(s__Invertebrate,s__Animal) s__instance(s__Animal,s__SetOrClass)	Merge.kif 13441-13441	Invertebrate is a subclass of animal
s__instance(s__Locust,s__SetOrClass) s__subclass(s__Locust,s__Animal) s__instance(s__Animal,s__SetOrClass)	Geography.kif 6132-6132	Locust is a subclass of animal
s__instance(s__Animal,s__SetOrClass) s__subclass(s__Vertebrate,s__Animal) s__instance(s__Vertebrate,s__SetOrClass)	Merge.kif 13438-13438	Vertebrate is a subclass of animal
s__termFormat(s__ChineseLanguage,s__Animal,'"动物"')	chinese_format.kif 972-972
s__termFormat(s__EnglishLanguage,s__Animal,'"animal"')	english_format.kif 1156-1156

appearance as argument number 3

s__domain(s__birthplace__m,n__1,s__Animal)	Mid-level-ontology.kif 21971-21971	The number 1 argument of birthplace is an instance of animal
s__domain(s__burialplace__m,n__1,s__Animal)	Biography.kif 92-92	The number 1 argument of burialplace is an instance of animal
s__domain(s__deathplace__m,n__1,s__Animal)	Mid-level-ontology.kif 22014-22014	The number 1 argument of deathplace is an instance of animal
s__domain(s__detainee__m,n__2,s__Animal)	Mid-level-ontology.kif 6445-6445	The number 2 argument of detainee is an instance of animal
s__domain(s__grasps__m,n__1,s__Animal)	Merge.kif 10686-10686	The number 1 argument of grasps is an instance of animal
s__domain(s__wears__m,n__1,s__Animal)	Merge.kif 14732-14732	The number 1 argument of wears is an instance of animal
s__domainSubclass(s__meatOfAnimal__m,n__2,s__Animal)	Mid-level-ontology.kif 18107-18107	The number 2 argument of meat of animal is a subclass of animal
s__domainSubclass(s__productOfAnimal__m,n__2,s__Animal)	Mid-level-ontology.kif 18098-18098	The number 2 argument of productOfAnimal is a subclass of animal

antecedent

( ! [V__A,V__S] : ((s__instance(V__A,s__Animal) & s__instance(V__S,s__AnimalShell) & s__part(V__S,V__A)) => (s__instance(V__A,s__Invertebrate) \| s__instance(V__A,s__Reptile)) ) )	Mid-level-ontology.kif 9755-9762	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
( ! [V__ANI,V__D] : ((s__instance(V__ANI,s__Animal) & s__instance(V__D,s__DiseaseOrSyndrome) & ~(s__attribute(V__ANI,V__D))) => ( ? [V__P, V__W] : ((s__instance(V__P,s__BiologicalProcess) & s__instance(V__P,s__Removing) & s__origin(V__P,V__ANI) & s__instance(V__W,s__Sewage) & s__agent(V__P,V__ANI) & s__patient(V__P,V__W)))) ) )	Mid-level-ontology.kif 2616-2629	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 process and an entity such that the process is an instance of biological process and the process is an instance of removing and the process originates at the agent and the entity is an instance of sewage and the agent is an agent of the process and the entity is a patient of the process
( ! [V__SKELETON,V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) & s__instance(V__SKELETON,s__Exoskeleton) & s__part(V__SKELETON,V__ANIMAL)) => s__instance(V__ANIMAL,s__Invertebrate) ) )	Mid-level-ontology.kif 9897-9902	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
( ! [V__SKELETON,V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) & s__instance(V__SKELETON,s__Skeleton) & s__part(V__SKELETON,V__ANIMAL)) => s__instance(V__ANIMAL,s__Vertebrate) ) )	Mid-level-ontology.kif 9877-9882	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
( ! [V__FISHING,V__TARGET] : ((s__instance(V__FISHING,s__Fishing) & s__patient(V__FISHING,V__TARGET) & s__instance(V__TARGET,s__Animal)) => s__instance(V__TARGET,s__Fish) ) )	Geography.kif 2648-2653	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9853-9858	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
( ! [V__A,V__S] : ((s__instance(V__S,s__NervousSystem) & s__part(V__S,V__A) & s__instance(V__A,s__Animal)) => s__instance(V__A,s__Vertebrate) ) )	Mid-level-ontology.kif 9693-9698	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
( ! [V__ANIMAL] : (s__instance(V__ANIMAL,s__Animal) => ( ? [V__ATTR] : ((s__instance(V__ATTR,s__SexAttribute) & s__attribute(V__ANIMAL,V__ATTR)))) ) )	Merge.kif 16782-16787	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
( ! [V__ANIMAL] : (s__instance(V__ANIMAL,s__Animal) => (( ? [V__MOTION] : ((s__instance(V__MOTION,s__BodyMotion) & s__agent(V__MOTION,V__ANIMAL)))) \| ( ? [V__ATTR] : ((s__instance(V__ATTR,s__BodyPosition) & s__attribute(V__ANIMAL,V__ATTR))))) ) )	Merge.kif 16705-16715	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
( ! [V__OBJ] : (s__instance(V__OBJ,s__Object) => s__instance(V__OBJ,s__FoodForFn(s__Animal)) => ( ? [V__ATTR] : ((s__instance(V__ATTR,s__TasteAttribute) & s__attribute(V__OBJ,V__ATTR)))) ) )	Merge.kif 16380-16385	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

( ! [V__VERT] : ((s__instance(V__VERT,s__Vertebrate) => ( ? [V__SPINE] : ((s__instance(V__VERT,s__Animal) & s__component(V__SPINE,V__VERT) & s__instance(V__SPINE,s__SpinalColumn))))) & (( ? [V__SPINE] : ((s__instance(V__VERT,s__Animal) & s__component(V__SPINE,V__VERT) & s__instance(V__SPINE,s__SpinalColumn)))) => s__instance(V__VERT,s__Vertebrate)) ) )	Mid-level-ontology.kif 9393-9399	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
( ! [V__ANIMAL,V__ACT] : ((s__instance(V__ACT,s__Surgery) & s__patient(V__ACT,V__ANIMAL)) => ( ? [V__SUBACT] : ((s__instance(V__SUBACT,s__Cutting) & s__instance(V__ANIMAL,s__Animal) & s__patient(V__SUBACT,V__ANIMAL) & s__subProcess(V__SUBACT,V__ACT)))) ) )	Merge.kif 11362-11371	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
( ! [V__A,V__B] : ((s__instance(V__B,s__Bathing) & s__patient(V__B,V__A)) => s__instance(V__A,s__Animal) ) )	Mid-level-ontology.kif 8540-8544	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
( ! [V__ANIMAL,V__BLEED] : (s__instance(V__ANIMAL,s__Agent) => (s__instance(V__BLEED,s__Bleeding) & s__experiencer(V__BLEED,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal) ) )	Mid-level-ontology.kif 19049-19053	If a process is an instance of bleeding and an agent experiences the process, then the agent is an instance of animal
( ! [V__CARNIVORE,V__EAT,V__PREY] : ((s__instance(V__CARNIVORE,s__Carnivore) & s__instance(V__EAT,s__Eating) & s__agent(V__EAT,V__CARNIVORE) & s__patient(V__EAT,V__PREY)) => s__instance(V__PREY,s__Animal) ) )	Merge.kif 13532-13538	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
( ! [V__P,V__D] : (s__instance(V__P,s__Process) => (s__instance(V__D,s__AnimalPoweredDevice) & s__instrument(V__P,V__D)) => ( ? [V__A] : ((s__instance(V__A,s__Animal) & s__instrument(V__P,V__A)))) ) )	Mid-level-ontology.kif 3225-3232	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
( ! [V__A,V__F] : ((s__instance(V__F,s__Feeding) & s__destination(V__F,V__A)) => s__instance(V__A,s__Animal) ) )	Mid-level-ontology.kif 9805-9809	If a process is an instance of feeding and the process ends up at an entity, then the entity is an instance of animal
( ! [V__O,V__F] : ((s__instance(V__F,s__Feeding) & s__patient(V__F,V__O)) => s__instance(V__O,s__FoodForFn(s__Animal)) ) )	Mid-level-ontology.kif 9799-9803	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
( ! [V__A,V__L] : (s__instance(V__A,s__Agent) => (s__instance(V__L,s__LayingEggs) & s__experiencer(V__L,V__A)) => (s__instance(V__A,s__Animal) & s__attribute(V__A,s__Female)) ) )	Mid-level-ontology.kif 21907-21913	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
( ! [V__AGENT,V__LANG,V__PROC] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__PROC,s__Process)) => (s__instance(V__LANG,s__AnimalLanguage) & s__agent(V__PROC,V__AGENT) & s__instrument(V__PROC,V__LANG)) => (s__instance(V__AGENT,s__Animal) & ~(s__instance(V__AGENT,s__Human))) ) )	Merge.kif 1301-1308	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
( ! [V__ORG] : ((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__AgricultureForestryFishingAndHunting)) => ( ? [V__EV, V__MEM] : ((s__instance(V__MEM,s__Agent) & (s__member(V__MEM,V__ORG) & s__agent(V__EV,V__MEM) & ( ? [V__THING, V__EV2, V__MEM2] : ((s__instance(V__MEM2,s__Agent) & ((s__instance(V__EV,s__Killing) \| s__instance(V__EV,s__Maintaining)) & s__patient(V__EV,V__THING) & (s__instance(V__THING,s__Animal) \| s__instance(V__THING,s__Plant)) & ~(s__instance(V__THING,s__Human)) & s__member(V__MEM2,V__ORG) & s__instance(V__EV2,s__Selling) & s__agent(V__EV2,V__MEM2) & s__patient(V__EV2,V__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
( ! [V__ORG] : ((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__FoodAndBeverageStores)) => ( ? [V__EV, V__MEM] : ((s__instance(V__MEM,s__Object) & s__instance(V__MEM,s__Process) & (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & ( ? [V__THING] : ((s__instance(V__EV,s__Selling) & (s__instance(V__THING,s__FoodForFn(s__Animal)) \| s__instance(V__THING,s__Beverage)) & s__patient(V__EV,V__THING)))))))) ) )	naics.kif 7326-7340	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 an object such that the object is a member of the collection and the agent is an agent of the object 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
( ! [V__AGENT,V__PERCEPT] : (s__instance(V__AGENT,s__Agent) => (s__instance(V__PERCEPT,s__Perception) & s__agent(V__PERCEPT,V__AGENT)) => s__instance(V__AGENT,s__Animal) ) )	Merge.kif 12478-12482	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
( ! [V__ANIMAL,V__STRUCTURE] : ((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure) & s__instance(V__ANIMAL,s__Organism) & s__part(V__STRUCTURE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal) ) )	Merge.kif 13900-13905	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
( ! [V__SUBSTANCE,V__ANIMAL] : ((s__instance(V__SUBSTANCE,s__AnimalSubstance) & s__instance(V__ANIMAL,s__Organism) & s__part(V__SUBSTANCE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal) ) )	Merge.kif 13742-13747	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3198-3206	If a physical is an instance of animal controller, then the physical 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
( ! [V__AD] : (s__instance(V__AD,s__AnimalDoll) => ( ? [V__A] : ((s__instance(V__A,s__Animal) & s__represents(V__AD,V__A)))) ) )	Mid-level-ontology.kif 2865-2870	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
( ! [V__AG,V__H] : (s__instance(V__H,s__Agent) => s__instance(V__AG,s__AnimalGuiding) => ( ? [V__A, V__C] : ((s__instance(V__A,s__Animal) & s__agent(V__AG,V__H) & s__instance(V__C,s__Carrying) & s__agent(V__C,V__A) & s__objectTransferred(V__C,V__H) & s__instrument(V__AG,V__A)))) ) )	Mid-level-ontology.kif 4813-4822	If a process is an instance of AnimalGuiding, then there exist an agent and a transfer such that the agent is an instance of animal and another 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
( ! [V__B] : (s__instance(V__B,s__Burrow) => ( ? [V__P, V__A] : ((s__instance(V__P,s__Process) & s__agent(V__P,V__A) & s__instance(V__A,s__Animal) & ~(s__instance(V__A,s__Human)) & s__result(V__P,V__B)))) ) )	Geography.kif 5627-5636	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
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1345-1353	If a physical is an instance of CS gas, then the physical 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
( ! [V__CARRY] : (s__instance(V__CARRY,s__Carrying) => ( ? [V__ANIMAL] : ((s__instance(V__ANIMAL,s__Animal) & s__instrument(V__CARRY,V__ANIMAL)))) ) )	Merge.kif 10561-10566	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
( ! [V__CONFINE] : (s__instance(V__CONFINE,s__Confining) => ( ? [V__AGENT] : ((s__instance(V__AGENT,s__Animal) & s__patient(V__CONFINE,V__AGENT)))) ) )	Merge.kif 11308-11313	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4901-4910	If a physical is an instance of dish, then the physical 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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__GROUP] : (s__instance(V__GROUP,s__GroupOfAnimals) => ( ! [V__MEMBER] : (s__member(V__MEMBER,V__GROUP) => (s__instance(V__MEMBER,s__Animal) & ~(s__instance(V__MEMBER,s__Human))))) ) )	Mid-level-ontology.kif 7191-7198	If a collection is an instance of group of animals, then for all an object if the object is a member of the collection, then the object is an instance of animal and the object is not an instance of human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

s__industryProductType(s__FoodManufacturing,s__FoodForFn(s__Animal))	Economy.kif 1748-1748	Food for animal is an industry product type of food manufacturing
s__instance(s__Apple,s__SetOrClass) s__subclass(s__Apple,s__FoodForFn(s__Animal))	Mid-level-ontology.kif 19452-19452	Apple is a subclass of food for animal
s__subclass(s__Avocado,s__FoodForFn(s__Animal)) s__instance(s__Avocado,s__SetOrClass)	Mid-level-ontology.kif 19467-19467	Avocado is a subclass of food for animal
s__instance(s__Coconut,s__SetOrClass) s__subclass(s__Coconut,s__FoodForFn(s__Animal))	Mid-level-ontology.kif 19417-19417	Coconut is a subclass of food for animal
s__subclass(s__DateFruit,s__FoodForFn(s__Animal)) s__instance(s__DateFruit,s__SetOrClass)	Mid-level-ontology.kif 19457-19457	Date fruit is a subclass of food for animal
s__instance(s__Honey,s__SetOrClass) s__subclass(s__Honey,s__FoodForFn(s__Animal))	Mid-level-ontology.kif 19403-19403	Honey is a subclass of food for animal
s__subclass(s__LemonFruit,s__FoodForFn(s__Animal)) s__instance(s__LemonFruit,s__SetOrClass)	Economy.kif 3947-3947	Lemon fruit is a subclass of food for animal
s__instance(s__OrangeFruit,s__SetOrClass) s__subclass(s__OrangeFruit,s__FoodForFn(s__Animal))	Economy.kif 3954-3954	Orange fruit is a subclass of food for animal
s__instance(s__Pea,s__SetOrClass) s__subclass(s__Pea,s__FoodForFn(s__Animal))	Mid-level-ontology.kif 19381-19381	Pea is a subclass of food for animal
s__instance(s__PearFruit,s__SetOrClass) s__subclass(s__PearFruit,s__FoodForFn(s__Animal))	Mid-level-ontology.kif 19462-19462	Pear fruit 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: