Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organism

Sigma KEE - Organism
Organism(生物)
more pictures...

appearance as argument number 1
-------------------------


(disjoint Organism Artifact) Merge.kif 14394-14394 生物 和 % 2 是 disjoint
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") Merge.kif 14398-14398
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 14396-14397
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg") pictureList.kif 6748-6748 externalImage 生物 and "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") pictureList.kif 7485-7485 externalImage 生物 and "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") pictureList.kif 7486-7486 externalImage 生物 and "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 7487-7487 externalImage 生物 and "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg") pictureList.kif 7489-7489 externalImage 生物 and "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg"
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14395-14395 生物 详尽无遗地 partition动物, 植物, 菌类, 和 微生物
(subclass Organism Agent) Merge.kif 14393-14393 生物施事体subclass
(subclass Organism OrganicObject) Merge.kif 14392-14392 生物有机物体subclass

appearance as argument number 2
-------------------------


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14383-14383 有机物体 详尽无遗地 partition生物解剖结构
(subclass Animal Organism) Merge.kif 14504-14504 动物生物subclass
(subclass Fungus Organism) Merge.kif 14477-14477 菌类生物subclass
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 GeneticallyEngineeredOrganism生物subclass
(subclass Microorganism Organism) Merge.kif 14511-14511 微生物生物subclass
(subclass Plant Organism) Merge.kif 14444-14444 植物生物subclass
(subclass ToxicOrganism Organism) WMD.kif 187-187 ToxicOrganism生物subclass
(termFormat ChineseLanguage Organism "生物") chinese_format.kif 964-964 termFormat ChineseLanguage, 生物 and "生物"
(termFormat EnglishLanguage Organism "organism") english_format.kif 651-651 termFormat EnglishLanguage, 生物 and "organism"

appearance as argument number 3
-------------------------


(domain ancestor 1 Organism) Merge.kif 16572-16572 ancestor 的 1 数量 是 生物instance
(domain ancestor 2 Organism) Merge.kif 16573-16573 ancestor 的 2 数量 是 生物instance
(domain daughter 1 Organism) Merge.kif 16667-16667 daughter 的 1 数量 是 生物instance
(domain daughter 2 Organism) Merge.kif 16668-16668 daughter 的 2 数量 是 生物instance
(domain familyRelation 1 Organism) Merge.kif 16552-16552 家属关系 的 1 数量 是 生物instance
(domain familyRelation 2 Organism) Merge.kif 16553-16553 家属关系 的 2 数量 是 生物instance
(domain father 1 Organism) Merge.kif 16653-16653 父亲 的 1 数量 是 生物instance
(domain father 2 Organism) Merge.kif 16654-16654 父亲 的 2 数量 是 生物instance
(domain inhabits 1 Organism) Merge.kif 14409-14409 居住 的 1 数量 是 生物instance
(domain mother 1 Organism) Merge.kif 16635-16635 母亲 的 1 数量 是 生物instance
(domain mother 2 Organism) Merge.kif 16636-16636 母亲 的 2 数量 是 生物instance
(domain parasite 1 Organism) Mid-level-ontology.kif 6095-6095 parasite 的 1 数量 是 生物instance
(domain parasite 2 Organism) Mid-level-ontology.kif 6096-6096 parasite 的 2 数量 是 生物instance
(domain parent 1 Organism) Merge.kif 16590-16590 父母 的 1 数量 是 生物instance
(domain parent 2 Organism) Merge.kif 16591-16591 父母 的 2 数量 是 生物instance
(domain relative 1 Organism) Merge.kif 16527-16527 relative 的 1 数量 是 生物instance
(domain relative 2 Organism) Merge.kif 16528-16528 relative 的 2 数量 是 生物instance
(domain sibling 1 Organism) Merge.kif 16698-16698 兄弟姐妹 的 1 数量 是 生物instance
(domain sibling 2 Organism) Merge.kif 16699-16699 兄弟姐妹 的 2 数量 是 生物instance
(domain son 1 Organism) Merge.kif 16681-16681 son 的 1 数量 是 生物instance
(domain son 2 Organism) Merge.kif 16682-16682 son 的 2 数量 是 生物instance
(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87 AgentOfOrganismFn 的 1 数量 是 生物subclass
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 235-235 DeadFn 的 1 数量 是 生物subclass
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1135-1135 FarmOfProductFn 的 1 数量 是 生物subclass
(domainSubclass FoodForFn 1 Organism) Merge.kif 14994-14994 FoodForFn 的 1 数量 是 生物subclass

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 16543-16548
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18526-18531
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM)
        (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 10280-10295
(=>
    (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 208-217
(=>
    (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 196-205
(=>
    (and
        (instance ?GUN Gun)
        (effectiveRange ?GUN ?LM)
        (distance ?GUN ?O ?LM1)
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (capability
        (KappaFn ?KILLING
            (and
                (instance ?KILLING Killing)
                (patient ?KILLING ?O))) instrument ?GUN))
Mid-level-ontology.kif 1797-1812
(=>
    (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 587-601
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))
Merge.kif 18495-18499
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORG Organism)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))
Mid-level-ontology.kif 251-259
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))
Mid-level-ontology.kif 178-185
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 15126-15131
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 15139-15144
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14945-14950
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14957-14962
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 16606-16611
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18508-18513
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18573-18578
(=>
    (instance ?ORG Organism)
    (holdsDuring
        (WhenFn ?ORG)
        (attribute ?ORG Living)))
Mid-level-ontology.kif 220-223
(=>
    (instance ?ORGANISM Organism)
    (exists (?BIRTH)
        (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?ORGANISM))))
Merge.kif 14400-14405
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 16623-16626

consequent
-------------------------


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 10481-10488 过程受伤instance 若且唯若 那个 过程损坏instance 和 有存在 实体 这样 那个 实体生物instance那个 实体那个 过程patient
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 10310-10314
(=>
    (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 14535-14539
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9775-9779
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14485-14489
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 12236-12243
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10206-10210
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 12176-12185
(=>
    (and
        (instance ?REM OrganismRemains)
        (holdsDuring ?T2
            (part ?OBJ ?REM)))
    (exists (?ORG ?T1)
        (and
            (instance ?ORG Organism)
            (earlier
                (WhenFn ?ORG)
                (WhenFn ?REM))
            (instance ?T1 TimeInterval)
            (finishes ?T1
                (WhenFn ?ORG))
            (holdsDuring ?T1
                (part ?OBJ ?ORG)))))
Mid-level-ontology.kif 159-171
(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14549-14553
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 19268-19270
(=>
    (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 459-468
(=>
    (instance ?ANAT AnatomicalStructure)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (part ?ANAT ?ORGANISM)))))
Merge.kif 15066-15072
(=>
    (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 18665-18671
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 12790-12795
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 15218-15225
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 11083-11088
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 15105-15111
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 10498-10505
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10199-10204
(=>
    (instance ?PROC Excretion)
    (exists (?ORG ?WASTE ?PART)
        (and
            (instance ?ORG Organism)
            (agent ?PROC ?ORG)
            (patient ?PROC ?WASTE)
            (instance ?WASTE Excrement)
            (instance ?PART BodyPart)
            (instrument ?PROC ?PART))))
Mid-level-ontology.kif 2577-2586
(=>
    (instance ?SPECIES BiologicalSpecies)
    (subclass ?SPECIES Organism))
Mid-level-ontology.kif 8881-8883
(=>
    (instance ?STUFF Tissue)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (part ?STUFF ?ORGANISM))))
Merge.kif 15294-15299

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners