| 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 14341-14342 | |
| (partition Animal Vertebrate Invertebrate) | Merge.kif 14340-14340 | |
| (subclass Animal Organism) | Merge.kif 14339-14339 |
| appearance as argument number 2 |
|
|
| (initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 23672-23672 | |
| (initialPart AnimalShell Animal) | Mid-level-ontology.kif 11464-11464 | |
| (initialPart Exoskeleton Animal) | Mid-level-ontology.kif 11608-11608 | |
| (initialPart Hair Animal) | Mid-level-ontology.kif 11719-11719 | |
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14250-14250 | |
| (subclass Biped Animal) | Mid-level-ontology.kif 4379-4379 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 19922-19922 | |
| (subclass Invertebrate Animal) | Merge.kif 14396-14396 | |
| (subclass Locust Animal) | Geography.kif 6701-6701 | |
| (subclass Vertebrate Animal) | Merge.kif 14393-14393 | |
| (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 181-181 | |
| (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 24182-24182 | |
| (domain burialplace 1 Animal) | Biography.kif 204-204 | |
| (domain deathplace 1 Animal) | Mid-level-ontology.kif 24226-24226 | |
| (domain detainee 2 Animal) | Mid-level-ontology.kif 6757-6757 | |
| (domain grasps 1 Animal) | Merge.kif 11450-11450 | |
| (domain wears 1 Animal) | Merge.kif 15817-15817 | |
| (domainSubclass meatOfAnimal 2 Animal) | Mid-level-ontology.kif 20259-20259 |
| 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 14872-14883 | |
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 11466-11473 | |
| (=> (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 2134-2147 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 11610-11615 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 11590-11595 | |
| (=> (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 11172-11182 | |
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2708-2713 | |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10491-10496 | |
| (=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 11403-11408 | |
| (=> (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 | |
| (=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 11772-11779 | |
| (=> (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 | |
| (=> (instance ?A Animal) (capability Drooling experiencer ?A)) |
Mid-level-ontology.kif 6555-6557 | |
| (=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 18018-18023 | |
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 17941-17951 | |
| (=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17525-17530 |
| consequent |
|
|
| (<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10897-10903 | |
| (=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal)) |
Food.kif 2021-2027 | |
| (=> (and (equal ?M (organicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal)) |
Economy.kif 4828-4833 | |
| (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 12152-12161 | |
| (=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 8834-8838 | |
| (=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal)) |
Mid-level-ontology.kif 21294-21298 | |
| (=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal)) |
Merge.kif 14496-14502 | |
| (=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 2738-2745 | |
| (=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 11517-11521 | |
| (=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal))) |
Mid-level-ontology.kif 11511-11515 | |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 24060-24066 | |
| (=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1407-1414 | |
| (=> (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 13348-13352 | |
| (=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14893-14898 | |
| (=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14709-14714 | |
| (=> (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 2711-2719 | |
| (=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A)))) |
Mid-level-ontology.kif 2381-2386 | |
| (=> (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 4317-4326 | |
| (=> (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 5938-5947 | |
| (=> (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 ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11325-11330 | |
| (=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 15807-15814 | |
| (=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 12098-12103 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (industryProductType FoodManufacturing (FoodForFn Animal)) |
Economy.kif 1760-1760 | |
| (subclass Apple (FoodForFn Animal)) |
Mid-level-ontology.kif 21596-21596 | |
| (subclass Avocado (FoodForFn Animal)) |
Mid-level-ontology.kif 21611-21611 | |
| (subclass Coconut (FoodForFn Animal)) |
Mid-level-ontology.kif 21568-21568 | |
| (subclass DateFruit (FoodForFn Animal)) |
Mid-level-ontology.kif 21601-21601 | |
| (subclass Honey (FoodForFn Animal)) |
Mid-level-ontology.kif 21554-21554 | |
| (subclass LemonFruit (FoodForFn Animal)) |
Economy.kif 4184-4184 | |
| (subclass OrangeFruit (FoodForFn Animal)) |
Economy.kif 4191-4191 | |
| (subclass Pea (FoodForFn Animal)) |
Mid-level-ontology.kif 21548-21548 | |
| (subclass PearFruit (FoodForFn Animal)) |
Mid-level-ontology.kif 21606-21606 | |
| (subclass WineGrape (FoodForFn Animal)) |
Food.kif 2833-2833 |
|
|
|