Animal(动物) | ![]() |
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 14601-14602 | |
(partition Animal Vertebrate Invertebrate) | Merge.kif 14600-14600 | 动物 详尽无遗地 partition 成 脊椎动物 和 无脊椎动物 |
(subclass Animal Organism) | Merge.kif 14599-14599 | 动物 是 生物 的 subclass |
appearance as argument number 2 |
![]() |
(initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 25367-25367 | %每个 动物解剖结构 是 动物 的 initially part |
(initialPart AnimalShell Animal) | Mid-level-ontology.kif 12860-12860 | %每个 动物壳 是 动物 的 initially part |
(initialPart Exoskeleton Animal) | Mid-level-ontology.kif 13004-13004 | %每个 外骨骼 是 动物 的 initially part |
(initialPart Hair Animal) | Mid-level-ontology.kif 13115-13115 | %每个 头发 是 动物 的 initially part |
(partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14510-14510 | 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物 |
(subclass Biped Animal) | Mid-level-ontology.kif 4850-4850 | Biped 是 动物 的 subclass |
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 21604-21604 | 家畜 是 动物 的 subclass |
(subclass Invertebrate Animal) | Merge.kif 14656-14656 | 无脊椎动物 是 动物 的 subclass |
(subclass Vertebrate Animal) | Merge.kif 14653-14653 | 脊椎动物 是 动物 的 subclass |
(termFormat ChineseLanguage Animal "动物") | chinese_format.kif 972-972 | 脊椎动物 是 动物 的 subclass |
(termFormat EnglishLanguage Animal "animal") | english_format.kif 1151-1151 | 脊椎动物 是 动物 的 subclass |
(termFormat FrenchLanguage Animal "animal") | french_format.kif 649-649 | 脊椎动物 是 动物 的 subclass |
(termFormat Hindi Animal "pashu") | terms-hindi.txt 180-180 | 脊椎动物 是 动物 的 subclass |
(termFormat ItalianLanguage Animal "Animale") | terms-it.txt 183-183 | 脊椎动物 是 动物 的 subclass |
(termFormat JapaneseLanguage Animal "動物") | japanese_format.kif 2333-2333 | 脊椎动物 是 动物 的 subclass |
(termFormat PortugueseLanguage Animal "Animal") | portuguese_format.kif 601-601 | 脊椎动物 是 动物 的 subclass |
(termFormat cb Animal "hayup") | terms-cb.txt 185-185 | 脊椎动物 是 动物 的 subclass |
(termFormat cz Animal "animal") | terms-cz.txt 217-217 | 脊椎动物 是 动物 的 subclass |
(termFormat de Animal "Tier") | terms-de.txt 476-476 | 脊椎动物 是 动物 的 subclass |
(termFormat ro Animal "animal") | relations-ro.kif 670-670 | 脊椎动物 是 动物 的 subclass |
(termFormat tg Animal "hayop") | terms-tg.txt 184-184 | 脊椎动物 是 动物 的 subclass |
appearance as argument number 3 |
![]() |
(domain birthplace 1 Animal) | Mid-level-ontology.kif 25900-25900 | 出生地 的 1 数量 是 动物 的 instance |
(domain burialplace 1 Animal) | Biography.kif 209-209 | burialplace 的 1 数量 是 动物 的 instance |
(domain deathplace 1 Animal) | Mid-level-ontology.kif 25959-25959 | 死亡场所 的 1 数量 是 动物 的 instance |
(domain detainee 2 Animal) | Mid-level-ontology.kif 7946-7946 | 被拘留者 的 2 数量 是 动物 的 instance |
(domain grasps 1 Animal) | Merge.kif 11646-11646 | 抓住 的 1 数量 是 动物 的 instance |
(domain wears 1 Animal) | Merge.kif 16100-16100 | 穿戴 的 1 数量 是 动物 的 instance |
(domainSubclass meatOfAnimal 2 Animal) | Mid-level-ontology.kif 21971-21971 | 动物的肉 的 2 数量 是 动物 的 subclass |
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 12016-12027 |
|
(=> (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 12003-12014 |
|
(=> (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 6254-6263 | |
(=> (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 15132-15143 |
|
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 12862-12869 | |
(=> (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 2625-2638 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 13006-13011 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 12986-12991 | |
(=> (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 12550-12560 | |
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2866-2871 | |
(=> (and (instance ?I Intestine) (instance ?A Animal) (part ?I ?A)) (modalAttribute (exists (?E) (and (instance ?E EscherichiaColi) (contains ?I ?E))) Likely)) |
Medicine.kif 5499-5509 | |
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10643-10648 | |
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 12781-12786 | |
(=> (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 3450-3478 | |
(=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 13168-13175 | |
(=> (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 3592-3613 | |
(=> (instance ?A Animal) (capability Drooling experiencer ?A)) |
Mid-level-ontology.kif 7520-7522 | |
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 18315-18320 | |
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18233-18243 | |
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17814-17819 |
consequent |
![]() |
(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 12275-12281 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death))))) |
Transportation.kif 4203-4227 |
|
(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal)) |
Food.kif 2883-2889 | |
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal)) |
Economy.kif 5285-5290 | |
(=> (and (instance ?A Omnivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (or (instance ?F Plant) (instance ?F Animal) (instance ?F Fungus))) |
Mid-level-ontology.kif 21667-21676 | |
(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 12409-12418 | |
(=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 10068-10072 | |
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal)) |
Mid-level-ontology.kif 23006-23010 | |
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal)) |
Merge.kif 14756-14762 | |
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 3229-3236 | |
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 12913-12917 | |
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal))) |
Mid-level-ontology.kif 12907-12911 | |
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 25777-25783 | |
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1430-1437 | |
(=> (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 |
|
(=> (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 | |
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal)) |
Merge.kif 13609-13613 | |
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 15153-15158 | |
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14969-14974 | |
(=> (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 3202-3210 | |
(=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A)))) |
Mid-level-ontology.kif 2872-2877 | |
(=> (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 4788-4797 | |
(=> (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 6334-6343 | |
(=> (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 480-492 |
|
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11521-11526 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
(industryProductType FoodManufacturing (FoodForFn Animal)) |
Economy.kif 1869-1869 | Food for 动物 是 食品制造业 的 industry 产品类别 |
(subclass Apple (FoodForFn Animal)) |
Food.kif 2187-2187 | 苹果 是 food for 动物 的 subclass |
(subclass Avocado (FoodForFn Animal)) |
Food.kif 2289-2289 | 鳄梨 是 food for 动物 的 subclass |
(subclass Coconut (FoodForFn Animal)) |
Food.kif 2378-2378 | 椰子 是 food for 动物 的 subclass |
(subclass DateFruit (FoodForFn Animal)) |
Food.kif 2196-2196 | 日期水果 是 food for 动物 的 subclass |
(subclass Honey (FoodForFn Animal)) |
Mid-level-ontology.kif 23250-23250 | 蜜糖 是 food for 动物 的 subclass |
(subclass LemonFruit (FoodForFn Animal)) |
Food.kif 2335-2335 | 柠檬水果 是 food for 动物 的 subclass |
(subclass OrangeFruit (FoodForFn Animal)) |
Food.kif 2349-2349 | 橙色水果 是 food for 动物 的 subclass |
(subclass Pea (FoodForFn Animal)) |
Economy.kif 4450-4450 | 豌豆 是 food for 动物 的 subclass |
(subclass PearFruit (FoodForFn Animal)) |
Food.kif 2201-2201 | 梨果 是 food for 动物 的 subclass |
(subclass WineGrape (FoodForFn Animal)) |
Food.kif 3696-3696 | 酿酒葡萄 是 food for 动物 的 subclass |
![]() |
![]() |