Organism
|
|
appearance as argument number 1 |
(disjoint Organism Artifact) | Merge.kif 14378-14378 | Organism ist dijunkt von Artifact %n{nicht} |
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 Plant 和 Animal。") | chinese_format.kif 3372-3372 | |
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") | Merge.kif 14380-14381 | |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg") | pictureList.kif 6747-6747 | |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") | pictureList.kif 7483-7483 | |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") | pictureList.kif 7484-7484 | |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") | pictureList.kif 7485-7485 | |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg") | pictureList.kif 7487-7487 | |
(partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14379-14379 | Organism wird vollstaendig in Animal, Plant, Fungus, und Microorganism verteilt |
(subclass Organism AutonomousAgent) | Merge.kif 14377-14377 | Organism ist eine teilkategorie von AutonomousAgent |
(subclass Organism OrganicObject) | Merge.kif 14376-14376 | Organism ist eine teilkategorie von OrganicObject |
appearance as argument number 2 |
appearance as argument number 3 |
(domain OrganismPopulationFn 1 Organism) | Mid-level-ontology.kif 31723-31723 | Die Zahl 1 Argument von OrganismPopulationFn ist ein fall von Organism %n{nicht} |
(domain ancestor 1 Organism) | Merge.kif 16372-16372 | Die Zahl 1 Argument von ancestor ist ein fall von Organism %n{nicht} |
(domain ancestor 2 Organism) | Merge.kif 16373-16373 | Die Zahl 2 Argument von ancestor ist ein fall von Organism %n{nicht} |
(domain coreBodyTemp 1 Organism) | Medicine.kif 506-506 | Die Zahl 1 Argument von coreBodyTemp ist ein fall von Organism %n{nicht} |
(domain daughter 1 Organism) | Merge.kif 16460-16460 | Die Zahl 1 Argument von daughter ist ein fall von Organism %n{nicht} |
(domain daughter 2 Organism) | Merge.kif 16461-16461 | Die Zahl 2 Argument von daughter ist ein fall von Organism %n{nicht} |
(domain familyRelation 1 Organism) | Merge.kif 16354-16354 | Die Zahl 1 Argument von familyRelation ist ein fall von Organism %n{nicht} |
(domain familyRelation 2 Organism) | Merge.kif 16355-16355 | Die Zahl 2 Argument von familyRelation ist ein fall von Organism %n{nicht} |
(domain father 1 Organism) | Merge.kif 16448-16448 | Die Zahl 1 Argument von father ist ein fall von Organism %n{nicht} |
(domain father 2 Organism) | Merge.kif 16449-16449 | Die Zahl 2 Argument von father ist ein fall von Organism %n{nicht} |
(domain inhabits 1 Organism) | Merge.kif 14392-14392 | Die Zahl 1 Argument von inhabits ist ein fall von Organism %n{nicht} |
(domain mother 1 Organism) | Merge.kif 16431-16431 | Die Zahl 1 Argument von mother ist ein fall von Organism %n{nicht} |
(domain mother 2 Organism) | Merge.kif 16432-16432 | Die Zahl 2 Argument von mother ist ein fall von Organism %n{nicht} |
(domain parasite 1 Organism) | Mid-level-ontology.kif 6276-6276 | Die Zahl 1 Argument von parasite ist ein fall von Organism %n{nicht} |
(domain parasite 2 Organism) | Mid-level-ontology.kif 6277-6277 | Die Zahl 2 Argument von parasite ist ein fall von Organism %n{nicht} |
(domain parent 1 Organism) | Merge.kif 16387-16387 | Die Zahl 1 Argument von parent ist ein fall von Organism %n{nicht} |
(domain parent 2 Organism) | Merge.kif 16388-16388 | Die Zahl 2 Argument von parent ist ein fall von Organism %n{nicht} |
(domain relative 1 Organism) | Merge.kif 16333-16333 | Die Zahl 1 Argument von relative ist ein fall von Organism %n{nicht} |
(domain relative 2 Organism) | Merge.kif 16334-16334 | Die Zahl 2 Argument von relative ist ein fall von Organism %n{nicht} |
(domain sheddingBodyPart 1 Organism) | Geography.kif 6448-6448 | Die Zahl 1 Argument von sheddingBodyPart ist ein fall von Organism %n{nicht} |
(domain sibling 1 Organism) | Merge.kif 16487-16487 | Die Zahl 1 Argument von sibling ist ein fall von Organism %n{nicht} |
(domain sibling 2 Organism) | Merge.kif 16488-16488 | Die Zahl 2 Argument von sibling ist ein fall von Organism %n{nicht} |
(domain son 1 Organism) | Merge.kif 16472-16472 | Die Zahl 1 Argument von son ist ein fall von Organism %n{nicht} |
(domain son 2 Organism) | Merge.kif 16473-16473 | Die Zahl 2 Argument von son ist ein fall von Organism %n{nicht} |
(domainSubclass AgentOfOrganismFn 1 Organism) | WMD.kif 87-87 | Die Zahl 1 Argument von AgentOfOrganismFn ist eine teilkategorie von Organism %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16346-16351 |
|
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18139-18144 |
|
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 10244-10259 |
|
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM)) |
Mid-level-ontology.kif 85-94 |
|
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG)) |
Mid-level-ontology.kif 74-83 |
|
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1417-1436 |
|
(=> (and (instance ?INJ Damaging) (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)) (instance ?INJ Injuring)) |
Merge.kif 10471-10476 | |
(=> (and (instance ?O Organism) (instance ?E Egg) (attribute ?O Embryonic) (part ?O ?E)) (exists (?Y) (and (instance ?Y EggYolk) (hasPurpose ?Y (exists (?I) (and (instance ?I Ingesting) (agent ?I ?O) (resource ?I ?Y))))))) |
Food.kif 2548-2562 |
|
(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18107-18111 |
|
(=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest)))) |
Economy.kif 5210-5222 |
|
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG)))) |
Geography.kif 6425-6434 |
|
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P)))) |
Geography.kif 6412-6423 |
|
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 58-65 |
|
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 15022-15027 |
|
(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 15033-15038 |
|
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14838-14843 |
|
(=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14849-14854 |
|
(=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16401-16406 |
|
(=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10176-10178 |
|
(=> (instance ?O Organism) (capability Killing agent ?O)) |
Merge.kif 12345-12347 | |
(=> (instance ?O Organism) (capability Killing patient ?O)) |
Merge.kif 12349-12351 | |
(=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10171-10174 | |
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18119-18124 |
|
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18180-18185 |
|
(=> (instance ?ORG Organism) (holdsDuring (WhenFn ?ORG) (attribute ?ORG Living))) |
Mid-level-ontology.kif 96-99 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
(=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 823-840 |
|
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 |
|
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10274-10280 | |
(=> (and (instance ?ATTACK BiochemicalAttack) (patient ?ATTACK ?OBJ)) (instance ?OBJ Organism)) |
WMD.kif 64-68 |
|
(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14494-14498 | |
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism))) |
Mid-level-ontology.kif 11553-11557 |
|
(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14453-14457 | |
(=> (and (instance ?I Infecting) (experiencer ?I ?H)) (exists (?T ?R ?O) (and (instance ?T Translocation) (moves ?T ?O) (instance ?O Organism) (instance ?R Replication) (experiencer ?R ?O) (subProcess ?T ?I) (subProcess ?R ?I)))) |
Mid-level-ontology.kif 5846-5858 |
|
(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12318-12325 |
|
(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10165-10169 |
|
(=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12266-12275 |
|
(=> (and (instance ?REM OrganismRemains) (holdsDuring (WhenFn ?REM) (part ?OBJ ?REM))) (exists (?ORG) (and (instance ?ORG Organism) (earlier (WhenFn ?ORG) (WhenFn ?REM)) (finishes (WhenFn ?REM) (WhenFn ?ORG)) (holdsDuring (WhenFn ?ORG) (part ?OBJ ?ORG))))) |
Mid-level-ontology.kif 45-56 |
|
(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14506-14510 | |
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism))) |
Food.kif 51-53 | |
(=> (diseaseMortality ?DISEASE ?RATE) (conditionalProbability (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (attribute ?ORGANISM ?DISEASE))) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))) ?RATE)) |
WMD.kif 890-900 |
|
(=> (instance ?AGENT ChemicalAgent) (not (exists (?ORGANISM ?PROCESS ?SUBSTANCE) (and (instance ?ORGANISM Organism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (result ?PROCESS ?SUBSTANCE) (copy ?SUBSTANCE ?AGENT))))) |
WMD.kif 464-473 |
|
(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM))))) |
Merge.kif 14943-14949 |
|
(=> (instance ?ATTACK BiochemicalAttack) (hasPurpose ?ATTACK (exists (?DAMAGE ?ORGANISM) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?ORGANISM) (causes ?ATTACK ?DAMAGE) (instance ?ORGANISM Organism))))) |
WMD.kif 70-78 |
|
(=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18292-18298 |
|
(=> (instance ?C Catheter) (hasPurpose ?C (exists (?M ?O ?OBJ ?L) (and (instance ?O Organism) (instance ?M Motion) (moves ?M ?OBJ) (orientation ?L ?O Outside) (path ?M ?C) (or (and (origin ?M ?L) (destination ?M ?O)) (and (origin ?M ?O) (destination ?M ?L))))))) |
Medicine.kif 548-564 |
|
(=> (instance ?C Catheterization) (exists (?CATH ?O) (and (instance ?CATH Catheter) (instance ?O Organism) (objectTransferred ?C ?CATH) (destination ?C ?O)))) |
Medicine.kif 570-577 |
|
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 15099-15106 |
|
(=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 10462-10469 | |
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT)))) |
Merge.kif 11141-11146 |
|
(=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 14977-14983 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |