Organism(物)![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Organism Artifact) | Merge.kif 14494-14494 | 物 と アーチファクト は disjoint では |
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 Plant 和 Animal。") | chinese_format.kif 3372-3372 | 物 と アーチファクト は disjoint では |
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") | Merge.kif 14496-14497 | 物 と アーチファクト は disjoint では |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg") | pictureList.kif 6746-6746 | 物 と アーチファクト は disjoint では |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") | pictureList.kif 7482-7482 | 物 と アーチファクト は disjoint では |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") | pictureList.kif 7483-7483 | 物 と アーチファクト は disjoint では |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") | pictureList.kif 7484-7484 | 物 と アーチファクト は disjoint では |
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant_ear_sponge.jpg") | pictureList.kif 7486-7486 | 物 と アーチファクト は disjoint では |
(partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14495-14495 | 物 は 動物, 植物, 菌類, + 微生物 に exhaustively partitioned |
(subclass Organism AutonomousAgent) | Merge.kif 14493-14493 | 物 は AutonomousAgent の subclass では |
(subclass Organism OrganicObject) | Merge.kif 14492-14492 | 物 は 有機物 の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16484-16489 | |
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18289-18294 | |
(=> (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 10347-10362 | |
(=> (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 1634-1653 | |
(=> (and (instance ?INJ Damaging) (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)) (instance ?INJ Injuring)) |
Merge.kif 10572-10577 | |
(=> (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 2555-2569 | |
(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18256-18260 |
|
(=> (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 5551-5563 | |
(=> (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 6558-6567 | |
(=> (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 6545-6556 | |
(=> (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 15138-15143 | |
(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 15149-15154 | |
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14954-14959 | |
(=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14965-14970 | |
(=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16539-16544 | |
(=> (instance ?O Organism) (attribute ?O Mortal)) |
Mid-level-ontology.kif 25937-25939 | |
(=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10279-10281 | |
(=> (instance ?O Organism) (capability Killing agent ?O)) |
Merge.kif 12458-12460 | |
(=> (instance ?O Organism) (capability Killing patient ?O)) |
Merge.kif 12462-12464 | |
(=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10274-10277 | |
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18268-18273 | |
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18330-18335 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |