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 14494-14495
(partition Animal Vertebrate Invertebrate)	Merge.kif 14493-14493	Animal wird vollstaendig in Vertebrate und Invertebrate verteilt
(subclass Animal Organism)	Merge.kif 14492-14492	Animal ist eine teilkategorie von Organism

appearance as argument number 2

(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 23778-23778	initialPart AnimalAnatomicalStructure and Animal
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 11556-11556	initialPart AnimalShell and Animal
(initialPart Exoskeleton Animal)	Mid-level-ontology.kif 11700-11700	initialPart Exoskeleton and Animal
(initialPart Hair Animal)	Mid-level-ontology.kif 11811-11811	initialPart Hair and Animal
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 14403-14403	Organism wird vollstaendig in Animal, Plant, Fungus, und Microorganism verteilt
(subclass Biped Animal)	Mid-level-ontology.kif 4400-4400	Biped ist eine teilkategorie von Animal
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 20044-20044	DomesticAnimal ist eine teilkategorie von Animal
(subclass Invertebrate Animal)	Merge.kif 14549-14549	Invertebrate ist eine teilkategorie von Animal
(subclass Vertebrate Animal)	Merge.kif 14546-14546	Vertebrate ist eine teilkategorie von Animal
(termFormat ChineseLanguage Animal "动物")	chinese_format.kif 972-972
(termFormat EnglishLanguage Animal "animal")	english_format.kif 1151-1151
(termFormat FrenchLanguage Animal "animal")	french_format.kif 649-649
(termFormat Hindi Animal "pashu")	terms-hindi.txt 180-180
(termFormat ItalianLanguage Animal "Animale")	terms-it.txt 183-183
(termFormat JapaneseLanguage Animal "動物")	japanese_format.kif 2333-2333
(termFormat PortugueseLanguage Animal "Animal")	portuguese_format.kif 601-601
(termFormat cb Animal "hayup")	terms-cb.txt 185-185
(termFormat cz Animal "animal")	terms-cz.txt 217-217
(termFormat ro Animal "animal")	relations-ro.kif 670-670
(termFormat tg Animal "hayop")	terms-tg.txt 184-184

appearance as argument number 3

(domain birthplace 1 Animal)	Mid-level-ontology.kif 24310-24310	Die Zahl 1 Argument von birthplace ist ein fall von Animal %n{nicht}
(domain burialplace 1 Animal)	Biography.kif 204-204	Die Zahl 1 Argument von burialplace ist ein fall von Animal %n{nicht}
(domain deathplace 1 Animal)	Mid-level-ontology.kif 24354-24354	Die Zahl 1 Argument von deathplace ist ein fall von Animal %n{nicht}
(domain detainee 2 Animal)	Mid-level-ontology.kif 6812-6812	Die Zahl 2 Argument von detainee ist ein fall von Animal %n{nicht}
(domain grasps 1 Animal)	Merge.kif 11542-11542	Die Zahl 1 Argument von grasps ist ein fall von Animal %n{nicht}
(domain wears 1 Animal)	Merge.kif 15996-15996	Die Zahl 1 Argument von wears ist ein fall von Animal %n{nicht}
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 20381-20381	Die Zahl 2 Argument von meatOfAnimal ist eine teilkategorie von Animal %n{nicht}

antecedent

(=> (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 10712-10723	Wenn antagonistMuscles Muscle and Muscle und Motion ist ein fall von Extension %n{nicht} und MuscleC ist ein instrument fuer Motion %n{nicht} und moves Motion and MuscleC und MuscleC ist ein fall von Muscle %n{nicht} und MuscleC ist ein fall von Muscle %n{nicht} und MuscleC ist ein teil von Object %n{nicht} und MuscleC ist ein teil von Object %n{nicht} und Object ist ein fall von Animal %n{nicht}, dann ** MuscleC ist faehig %n{nicht}, in der Rolle instrument Flexion zu tun
(=> (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 10699-10710	Wenn antagonistMuscles Muscle and Muscle und Motion ist ein fall von Flexion %n{nicht} und MuscleC ist ein instrument fuer Motion %n{nicht} und moves Motion and MuscleC und MuscleC ist ein fall von Muscle %n{nicht} und MuscleC ist ein fall von Muscle %n{nicht} und MuscleC ist ein teil von Object %n{nicht} und MuscleC ist ein teil von Object %n{nicht} und Object ist ein fall von Animal %n{nicht}, dann ** MuscleC ist faehig %n{nicht}, in der Rolle instrument Extension zu tun
(=> (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 6237-6246	Wenn Object ist ein fall von BodyAreaFn BodyPart %n{nicht} und Object ist ein fall von Animal %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Object um Object ist ein fall von BodyPart %n{nicht} und Object ist Near hinsichlich Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 15025-15036	Wenn Object ist ein fall von Animal %n{nicht} und Object ist ein fall von BodySideFn AntiSymmetricPositionalAttribute and BodyPart %n{nicht} und AntiSymmetricPositionalAttribute wird AntiSymmetricPositionalAttributeO entgegengesetzet %n{nicht} und Healthy ist ein attribut von Object %n{nicht}, dann es gibt ObjectO um ObjectO ist ein fall von BodySideFn AntiSymmetricPositionalAttributeO and BodyPart %n{nicht} und Object ist AntiSymmetricPositionalAttribute hinsichlich ObjectO %n{nicht}
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile)))	Mid-level-ontology.kif 11558-11565	Wenn Object ist ein fall von Animal %n{nicht} und Object ist ein fall von AnimalShell %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von Invertebrate %n{nicht} oder Object ist ein fall von Reptile %n{nicht}
(=> (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 2155-2168	Wenn AutonomousAgent ist ein fall von Animal %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von AutonomousAgent nicht, dann es gibt Transfer und Object um Transfer ist ein fall von BiologicalProcess %n{nicht} und Transfer ist ein fall von Removing %n{nicht} und Transfer beginnet an AutonomousAgent %n{nicht} und Object ist ein fall von Sewage %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und objectTransferred Transfer and ** Object
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate))	Mid-level-ontology.kif 11702-11707	Wenn Object ist ein fall von Animal %n{nicht} und Object ist ein fall von Exoskeleton %n{nicht} und Object ist ein teil von Object %n{nicht}, dann ** Object ist ein fall von Invertebrate %n{nicht}
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate))	Mid-level-ontology.kif 11682-11687	Wenn Object ist ein fall von Animal %n{nicht} und Object ist ein fall von Skeleton %n{nicht} und Object ist ein teil von Object %n{nicht}, dann ** Object ist ein fall von Vertebrate %n{nicht}
(=> (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 11246-11256	Wenn Object ist ein fall von Chest %n{nicht} und Class ist ein fall von Animal %n{nicht} und Object ist ein fall von Class %n{nicht} und Object ist ein teil von Class %n{nicht}, dann es gibt Object um Object ist ein fall von Torso %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von ** Class %n{nicht}
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish))	Geography.kif 2708-2713	Wenn Process ist ein fall von Fishing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Animal %n{nicht}, dann ** Entity ist ein fall von Fish %n{nicht}
(=> (and (instance ?I Intestine) (instance ?A Animal) (part ?I ?A)) (modalAttribute (exists (?E) (and (instance ?E EscherichiaColi) (contains ?I ?E))) Likely))	Medicine.kif 5490-5500	Wenn Object ist ein fall von Intestine %n{nicht} und Object ist ein fall von Animal %n{nicht} und Object ist ein teil von Object %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von EscherichiaColi %n{nicht} und contains Object and ** entity hat die modale Kraft von Likely
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake)))	Merge.kif 10539-10544	Wenn Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von Animal %n{nicht}, dann Awake ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate))	Mid-level-ontology.kif 11477-11482	Wenn Object ist ein fall von NervousSystem %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Animal %n{nicht}, dann Object ist ein fall von Vertebrate %n{nicht}
(=> (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 3374-3402	Wenn WearableItem ist ein fall von SafetyHarness %n{nicht} und Animal ist ein fall von Animal %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und WearableItem ist ein instrument fuer entity %n{nicht} und Animal ist ein patient von entity %n{nicht} und entity ist eine teilkategorie von die kategorie die entity beschreibt und entity verhindert das Auftreten von ** entity %n{nicht}
(=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living)))	Mid-level-ontology.kif 11864-11871	Wenn Object ist ein fall von VitalOrgan %n{nicht} und Object ist ein fall von Animal %n{nicht} und Object ist ein teil von Object nicht, dann Living ist ein attribut von Object nicht
(=> (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 3516-3537	Wenn WearableItem ist ein fall von Respirator %n{nicht} und Animal ist ein fall von Animal %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Process %n{nicht} und WearableItem ist ein instrument fuer entity %n{nicht} und entity verhindert das Auftreten von entity und entity ist eine teilkategorie von die kategorie die ** entity beschreibt %n{nicht}
(=> (instance ?A Animal) (capability Drooling experiencer ?A))	Mid-level-ontology.kif 6577-6579	Wenn Object ist ein fall von Animal %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle experiencer Drooling zu tun
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR))))	Merge.kif 18207-18212	Wenn Object ist ein fall von Animal %n{nicht}, dann es gibt Attribute um Attribute ist ein fall von SexAttribute %n{nicht} und Attribute ist ein attribut von ** Object %n{nicht}
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR)))))	Merge.kif 18126-18136	Wenn AutonomousAgent ist ein fall von Animal %n{nicht}, dann es gibt Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} oder es gibt Attribute um Attribute ist ein fall von BodyPosition %n{nicht} und Attribute ist ein attribut von AutonomousAgent %n{nicht}
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 17710-17715	Wenn Object ist ein fall von FoodForFn Animal %n{nicht}, dann es gibt Attribute um Attribute ist ein fall von TasteAttribute %n{nicht} und Attribute ist ein attribut von ** Object %n{nicht}

consequent

(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 10971-10977	CorpuscularObject ist ein fall von Vertebrate %n{nicht} genau dann wenn es gibt CorpuscularObject um CorpuscularObject ist ein fall von Animal %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und ** CorpuscularObject ist ein fall von SpinalColumn %n{nicht}
(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2876-2882	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von AnimalFat und Object ist eine teilkategorie von FatTissue, dann initialPart ** Object and Animal
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 4945-4950	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Meat, dann OrganicObject ist eine teilkategorie von Animal
(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT))))	Merge.kif 12305-12314	Wenn Process ist ein fall von Surgery %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Cutting %n{nicht} und Entity ist ein fall von Animal %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von ** Process
(=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal))	Mid-level-ontology.kif 8889-8893	Wenn Process ist ein fall von Bathing %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Animal %n{nicht}
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 21416-21420	Wenn Process ist ein fall von Bleeding %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann AutonomousAgent ist ein fall von Animal %n{nicht}
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal))	Merge.kif 14649-14655	Wenn AutonomousAgent ist ein fall von Carnivore %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Animal %n{nicht}
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A))))	Mid-level-ontology.kif 2759-2766	Wenn Object ist ein fall von AnimalPoweredDevice %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann es gibt Object um Object ist ein fall von Animal %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal))	Mid-level-ontology.kif 11609-11613	Wenn Process ist ein fall von Feeding %n{nicht} und Process endet an Entity %n{nicht}, dann Entity ist ein fall von Animal %n{nicht}
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 11603-11607	Wenn Process ist ein fall von Feeding %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von FoodForFn Animal %n{nicht}
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 24188-24194	Wenn Process ist ein fall von LayingEggs %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann AutonomousAgent ist ein fall von Animal %n{nicht} und Female ist ein attribut von ** AutonomousAgent %n{nicht}
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1420-1427	Wenn Object ist ein fall von AnimalLanguage %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann AutonomousAgent ist ein fall von Animal %n{nicht} und AutonomousAgent ist ein fall von Human nicht
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und AgricultureForestryFishingAndHunting ist ein attribut von Collection %n{nicht}, dann es gibt Process und AutonomousAgent um AutonomousAgent ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity, Process2, and und AutonomousAgent2 um Process ist ein fall von Killing %n{nicht} oder Process ist ein fall von Maintaining %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Animal %n{nicht} oder Entity ist ein fall von Plant %n{nicht} und Entity ist ein fall von Human nicht und AutonomousAgent2 ist ein Mitglied von Collection %n{nicht} und Process2 ist ein fall von Selling %n{nicht} und Process2 ist der agent von AutonomousAgent2 %n{nicht} und Entity ist ein patient von ** Process2 %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und FoodAndBeverageStores ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity um AutonomousAgent ist ein fall von Selling %n{nicht} und Entity ist ein fall von FoodForFn Animal %n{nicht} oder Entity ist ein fall von Beverage %n{nicht} und Entity ist ein patient von AutonomousAgent %n{nicht}
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))	Merge.kif 13501-13505	Wenn Process ist ein fall von Perception %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann AutonomousAgent ist ein fall von Animal %n{nicht}
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 15046-15051	Wenn Object ist ein fall von AnimalAnatomicalStructure %n{nicht} und Object ist ein fall von Organism %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von Animal %n{nicht}
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 14862-14867	Wenn Object ist ein fall von AnimalSubstance %n{nicht} und Object ist ein fall von Organism %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von Animal %n{nicht}
(=> (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 2732-2740	Wenn Physical ist ein fall von AnimalController %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Guiding %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Animal %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A))))	Mid-level-ontology.kif 2402-2407	Wenn Entity ist ein fall von AnimalDoll %n{nicht}, dann es gibt Entity um Entity ist ein fall von Animal %n{nicht} und Entity drueckt Entity aus
(=> (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 4338-4347	Wenn Process ist ein fall von AnimalGuiding %n{nicht}, dann es gibt AutonomousAgent, Transfer, and und AutonomousAgent um AutonomousAgent ist ein fall von Animal %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Transfer ist ein fall von Carrying %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und objectTransferred Transfer and AutonomousAgent und AutonomousAgent ist ein instrument fuer ** Process %n{nicht}
(=> (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 6031-6040	Wenn Entity ist ein fall von Burrow %n{nicht}, dann es gibt Process und AutonomousAgent um Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von Animal %n{nicht} und AutonomousAgent ist ein fall von Human nicht und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V))))	Medicine.kif 491-503	Wenn Motion ist ein fall von BloodCirculation %n{nicht}, dann es gibt Object, Object,, , Object, and und Object um Object ist ein fall von Animal %n{nicht} und Object ist ein fall von Blood %n{nicht} und moves Motion and Object und Object ist ein fall von Artery %n{nicht} und Object ist ein fall von Vein %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist der pfad entlang dem Motion geschieht und Object ist der pfad entlang dem ** Motion geschieht
(=> (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	Wenn Physical ist ein fall von CSGas %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Injuring %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Animal %n{nicht} %n{nicht}
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL))))	Merge.kif 11417-11422	Wenn Process ist ein fall von Carrying %n{nicht}, dann es gibt Object um Object ist ein fall von Animal %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15986-15993	Wenn Physical ist ein fall von Clothing %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Animal %n{nicht} und entity ist ein teil von entity %n{nicht} und covers Physical and ** entity %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1744-1744	industryProductType FoodManufacturing and FoodForFn Animal
(subclass Apple (FoodForFn Animal))	Food.kif 2180-2180	Apple ist eine teilkategorie von FoodForFn Animal
(subclass Avocado (FoodForFn Animal))	Food.kif 2282-2282	Avocado ist eine teilkategorie von FoodForFn Animal
(subclass Coconut (FoodForFn Animal))	Food.kif 2371-2371	Coconut ist eine teilkategorie von FoodForFn Animal
(subclass DateFruit (FoodForFn Animal))	Food.kif 2189-2189	DateFruit ist eine teilkategorie von FoodForFn Animal
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 21660-21660	Honey ist eine teilkategorie von FoodForFn Animal
(subclass LemonFruit (FoodForFn Animal))	Food.kif 2328-2328	LemonFruit ist eine teilkategorie von FoodForFn Animal
(subclass OrangeFruit (FoodForFn Animal))	Food.kif 2342-2342	OrangeFruit ist eine teilkategorie von FoodForFn Animal
(subclass Pea (FoodForFn Animal))	Economy.kif 4113-4113	Pea ist eine teilkategorie von FoodForFn Animal
(subclass PearFruit (FoodForFn Animal))	Food.kif 2194-2194	PearFruit ist eine teilkategorie von FoodForFn Animal
(subclass WineGrape (FoodForFn Animal))	Food.kif 3689-3689	WineGrape ist eine teilkategorie von 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: