|
|
   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 14494-14495 | |
| (partition Animal Vertebrate Invertebrate) | Merge.kif 14493-14493 | |
| (subclass Animal Organism) | Merge.kif 14492-14492 |
| appearance as argument number 2 |
|
|
| (initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 23778-23778 | |
| (initialPart AnimalShell Animal) | Mid-level-ontology.kif 11556-11556 | |
| (initialPart Exoskeleton Animal) | Mid-level-ontology.kif 11700-11700 | |
| (initialPart Hair Animal) | Mid-level-ontology.kif 11811-11811 | |
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14403-14403 | |
| (subclass Biped Animal) | Mid-level-ontology.kif 4400-4400 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 20044-20044 | |
| (subclass Invertebrate Animal) | Merge.kif 14549-14549 | |
| (subclass Vertebrate Animal) | Merge.kif 14546-14546 | |
| (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 | |
| (domain burialplace 1 Animal) | Biography.kif 204-204 | |
| (domain deathplace 1 Animal) | Mid-level-ontology.kif 24354-24354 | |
| (domain detainee 2 Animal) | Mid-level-ontology.kif 6812-6812 | |
| (domain grasps 1 Animal) | Merge.kif 11542-11542 | |
| (domain wears 1 Animal) | Merge.kif 15996-15996 | |
| (domainSubclass meatOfAnimal 2 Animal) | Mid-level-ontology.kif 20381-20381 |
| 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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 11558-11565 | |
| (=> (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 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 11702-11707 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 11682-11687 | |
| (=> (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 | |
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2708-2713 | |
| (=> (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 | |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10539-10544 | |
| (=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 11477-11482 | |
| (=> (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 | |
| (=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 11864-11871 | |
| (=> (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 | |
| (=> (instance ?A Animal) (capability Drooling experiencer ?A)) |
Mid-level-ontology.kif 6577-6579 | |
| (=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 18207-18212 | |
| (=> (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 | |
| (=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17710-17715 |
| consequent |
|
|
| (<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10971-10977 | |
| (=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal)) |
Food.kif 2876-2882 | |
| (=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal)) |
Economy.kif 4945-4950 | |
| (=> (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 | |
| (=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 8889-8893 | |
| (=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal)) |
Mid-level-ontology.kif 21416-21420 | |
| (=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal)) |
Merge.kif 14649-14655 | |
| (=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 2759-2766 | |
| (=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 11609-11613 | |
| (=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal))) |
Mid-level-ontology.kif 11603-11607 | |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 24188-24194 | |
| (=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1420-1427 | |
| (=> (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 13501-13505 | |
| (=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 15046-15051 | |
| (=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14862-14867 | |
| (=> (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 | |
| (=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A)))) |
Mid-level-ontology.kif 2402-2407 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 11417-11422 | |
| (=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 15986-15993 | |
| 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 | |
| (subclass Apple (FoodForFn Animal)) |
Food.kif 2180-2180 | |
| (subclass Avocado (FoodForFn Animal)) |
Food.kif 2282-2282 | |
| (subclass Coconut (FoodForFn Animal)) |
Food.kif 2371-2371 | |
| (subclass DateFruit (FoodForFn Animal)) |
Food.kif 2189-2189 | |
| (subclass Honey (FoodForFn Animal)) |
Mid-level-ontology.kif 21660-21660 | |
| (subclass LemonFruit (FoodForFn Animal)) |
Food.kif 2328-2328 | |
| (subclass OrangeFruit (FoodForFn Animal)) |
Food.kif 2342-2342 | |
| (subclass Pea (FoodForFn Animal)) |
Economy.kif 4113-4113 | |
| (subclass PearFruit (FoodForFn Animal)) |
Food.kif 2194-2194 | |
| (subclass WineGrape (FoodForFn Animal)) |
Food.kif 3689-3689 |
|
|
|