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 13295-13296 | |
(partition Animal Vertebrate Invertebrate) | Merge.kif 13294-13294 | partition Animal, Vertebrate and Invertebrate |
(subclass Animal Organism) | Merge.kif 13293-13293 | subclass Animal and Organism |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain birthplace 1 Animal) | Mid-level-ontology.kif 21959-21959 | domain birthplace, 1 and Animal |
(domain burialplace 1 Animal) | Biography.kif 92-92 | domain burialplace, 1 and Animal |
(domain deathplace 1 Animal) | Mid-level-ontology.kif 22002-22002 | domain deathplace, 1 and Animal |
(domain detainee 2 Animal) | Mid-level-ontology.kif 6445-6445 | domain detainee, 2 and Animal |
(domain grasps 1 Animal) | Merge.kif 10595-10595 | domain grasps, 1 and Animal |
(domain wears 1 Animal) | Merge.kif 14641-14641 | domain wears, 1 and Animal |
(domainSubclass meatOfAnimal 2 Animal) | Mid-level-ontology.kif 18106-18106 | domainSubclass meatOfAnimal, 2 and Animal |
(domainSubclass productOfAnimal 2 Animal) | Mid-level-ontology.kif 18097-18097 | domainSubclass productOfAnimal, 2 and Animal |
antecedent |
![]() |
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 9754-9761 | |
(=> (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) (patient ?P ?W)))) |
Mid-level-ontology.kif 2616-2629 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 9896-9901 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 9876-9881 | |
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2648-2653 | |
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 9762-9767 | |
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 9692-9697 | |
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 16689-16694 | |
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 16612-16622 | |
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 16287-16292 |
consequent |
![]() |
(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 9392-9398 | instance CorpuscularObject and Vertebrate CorpuscularObject instance CorpuscularObject and Animal component CorpuscularObject and CorpuscularObject instance CorpuscularObject and SpinalColumn |
(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 11271-11280 | |
(=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 8539-8543 | |
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal)) |
Mid-level-ontology.kif 19038-19042 | |
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal)) |
Merge.kif 13441-13447 | |
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 3225-3232 |
|
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 9804-9808 | |
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal))) |
Mid-level-ontology.kif 9798-9802 | |
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 21895-21901 | |
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1304-1311 | |
(=> (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 7326-7340 | |
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal)) |
Merge.kif 12387-12391 | |
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 13809-13814 | |
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 13651-13656 | |
(=> (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 3198-3206 | |
(=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A)))) |
Mid-level-ontology.kif 2865-2870 |
|
(=> (instance ?AG AnimalGuiding) (exists (?A ?C) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A)))) |
Mid-level-ontology.kif 4813-4822 | |
(=> (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 5628-5637 | |
(=> (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 10470-10475 | |
(=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT)))) |
Merge.kif 11217-11222 | |
(=> (instance ?D Dish) (hasPurpose ?D (exists (?F ?E) (and (instance ?E Eating) (patient ?E ?F) (patient ?E ?D) (instance ?F (FoodForFn Animal)) (located ?F ?D))))) |
Mid-level-ontology.kif 4901-4910 | |
(=> (instance ?FD FoodDistributionOperation) (exists (?FOOD ?CA) (and (instance ?FOOD (FoodForFn Animal)) (instance ?CA CognitiveAgent) (patient ?FD ?FOOD) (destination ?FD ?CA) (holdsDuring (ImmediateFutureFn (WhenFn ?FD)) (possesses ?CA ?FOOD))))) |
Military.kif 62-71 | |
(=> (instance ?GROUP GroupOfAnimals) (forall (?MEMBER) (=> (member ?MEMBER ?GROUP) (and (instance ?MEMBER Animal) (not (instance ?MEMBER Human)))))) |
Mid-level-ontology.kif 7190-7197 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
![]() |
![]() |