Organism
|
|
appearance as argument number 1 |
(disjoint Organism Artifact) | Merge.kif 14356-14356 | 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 14358-14359 | |
(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 14357-14357 | Organism wird vollstaendig in Animal, Plant, Fungus, und Microorganism verteilt |
(subclass Organism AutonomousAgent) | Merge.kif 14355-14355 | Organism ist eine teilkategorie von AutonomousAgent |
(subclass Organism OrganicObject) | Merge.kif 14354-14354 | Organism ist eine teilkategorie von OrganicObject |
appearance as argument number 2 |
appearance as argument number 3 |
(domain OrganismPopulationFn 1 Organism) | Mid-level-ontology.kif 31727-31727 | Die Zahl 1 Argument von OrganismPopulationFn ist ein fall von Organism %n{nicht} |
(domain ancestor 1 Organism) | Merge.kif 16350-16350 | Die Zahl 1 Argument von ancestor ist ein fall von Organism %n{nicht} |
(domain ancestor 2 Organism) | Merge.kif 16351-16351 | 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 16438-16438 | Die Zahl 1 Argument von daughter ist ein fall von Organism %n{nicht} |
(domain daughter 2 Organism) | Merge.kif 16439-16439 | Die Zahl 2 Argument von daughter ist ein fall von Organism %n{nicht} |
(domain familyRelation 1 Organism) | Merge.kif 16332-16332 | Die Zahl 1 Argument von familyRelation ist ein fall von Organism %n{nicht} |
(domain familyRelation 2 Organism) | Merge.kif 16333-16333 | Die Zahl 2 Argument von familyRelation ist ein fall von Organism %n{nicht} |
(domain father 1 Organism) | Merge.kif 16426-16426 | Die Zahl 1 Argument von father ist ein fall von Organism %n{nicht} |
(domain father 2 Organism) | Merge.kif 16427-16427 | Die Zahl 2 Argument von father ist ein fall von Organism %n{nicht} |
(domain inhabits 1 Organism) | Merge.kif 14370-14370 | Die Zahl 1 Argument von inhabits ist ein fall von Organism %n{nicht} |
(domain mother 1 Organism) | Merge.kif 16409-16409 | Die Zahl 1 Argument von mother ist ein fall von Organism %n{nicht} |
(domain mother 2 Organism) | Merge.kif 16410-16410 | Die Zahl 2 Argument von mother ist ein fall von Organism %n{nicht} |
(domain parasite 1 Organism) | Mid-level-ontology.kif 6277-6277 | Die Zahl 1 Argument von parasite ist ein fall von Organism %n{nicht} |
(domain parasite 2 Organism) | Mid-level-ontology.kif 6278-6278 | Die Zahl 2 Argument von parasite ist ein fall von Organism %n{nicht} |
(domain parent 1 Organism) | Merge.kif 16365-16365 | Die Zahl 1 Argument von parent ist ein fall von Organism %n{nicht} |
(domain parent 2 Organism) | Merge.kif 16366-16366 | Die Zahl 2 Argument von parent ist ein fall von Organism %n{nicht} |
(domain relative 1 Organism) | Merge.kif 16311-16311 | Die Zahl 1 Argument von relative ist ein fall von Organism %n{nicht} |
(domain relative 2 Organism) | Merge.kif 16312-16312 | 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 16465-16465 | Die Zahl 1 Argument von sibling ist ein fall von Organism %n{nicht} |
(domain sibling 2 Organism) | Merge.kif 16466-16466 | Die Zahl 2 Argument von sibling ist ein fall von Organism %n{nicht} |
(domain son 1 Organism) | Merge.kif 16450-16450 | Die Zahl 1 Argument von son ist ein fall von Organism %n{nicht} |
(domain son 2 Organism) | Merge.kif 16451-16451 | 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 16324-16329 |
|
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18117-18122 |
|
(=> (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 10222-10237 |
|
(=> (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 10449-10454 | |
(=> (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 18085-18089 |
|
(=> (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 15000-15005 |
|
(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 15011-15016 |
|
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14816-14821 |
|
(=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14827-14832 |
|
(=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16379-16384 |
|
(=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10154-10156 |
|
(=> (instance ?O Organism) (capability Killing agent ?O)) |
Merge.kif 12323-12325 | |
(=> (instance ?O Organism) (capability Killing patient ?O)) |
Merge.kif 12327-12329 | |
(=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10149-10152 | |
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18097-18102 |
|
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18158-18163 |
|
(=> (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 10252-10258 | |
(=> (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 14472-14476 | |
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism))) |
Mid-level-ontology.kif 11554-11558 |
|
(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14431-14435 | |
(=> (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 5847-5859 |
|
(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12296-12303 |
|
(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10143-10147 |
|
(=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12244-12253 |
|
(=> (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 14484-14488 | |
(=> (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 14921-14927 |
|
(=> (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 18270-18276 |
|
(=> (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 15077-15084 |
|
(=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 10440-10447 | |
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT)))) |
Merge.kif 11119-11124 |
|
(=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM))))) |
Merge.kif 14955-14961 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |