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 14336-14336 生物 和 % 2 是 disjoint
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") Merge.kif 14340-14340
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 14338-14339
(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 14337-14337 生物 详尽无遗地 partition动物, 植物, 菌类, 和 微生物
(subclass Organism Agent) Merge.kif 14335-14335 生物施事体subclass
(subclass Organism OrganicObject) Merge.kif 14334-14334 生物有机物体subclass

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14325-14325 有机物体 详尽无遗地 partition生物解剖结构
(subclass Animal Organism) Merge.kif 14446-14446 动物生物subclass
(subclass Fungus Organism) Merge.kif 14419-14419 菌类生物subclass
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 GeneticallyEngineeredOrganism生物subclass
(subclass Microorganism Organism) Merge.kif 14453-14453 微生物生物subclass
(subclass Plant Organism) Merge.kif 14386-14386 植物生物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"
(termFormat FrenchLanguage Organism "organisme") french_format.kif 641-641 termFormat FrenchLanguage, 生物 and "organisme"
(termFormat Hindi Organism "jIvadhaarI padaartha") terms-hindi.txt 172-172 termFormat Hindi, 生物 and "jIvadhaarI padaartha"
(termFormat ItalianLanguage Organism "Organismo") terms-it.txt 173-173 termFormat ItalianLanguage, 生物 and "Organismo"
(termFormat PortugueseLanguage Organism "Organismo") portuguese_format.kif 593-593 termFormat PortugueseLanguage, 生物 and "Organismo"
(termFormat ar Organism "كَائِن حَيّ") arabic_format.kif 377-377 termFormat ar, 生物 and "كَائِن حَيّ"
(termFormat cz Organism "organism") terms-cz.txt 209-209 termFormat cz, 生物 and "organism"
(termFormat tg Organism "kinapal") terms-tg.txt 176-176 termFormat tg, 生物 and "kinapal"

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


(domain ancestor 1 Organism) Merge.kif 16520-16520 ancestor 的 1 数量 是 生物instance
(domain ancestor 2 Organism) Merge.kif 16521-16521 ancestor 的 2 数量 是 生物instance
(domain daughter 1 Organism) Merge.kif 16615-16615 daughter 的 1 数量 是 生物instance
(domain daughter 2 Organism) Merge.kif 16616-16616 daughter 的 2 数量 是 生物instance
(domain familyRelation 1 Organism) Merge.kif 16500-16500 家属关系 的 1 数量 是 生物instance
(domain familyRelation 2 Organism) Merge.kif 16501-16501 家属关系 的 2 数量 是 生物instance
(domain father 1 Organism) Merge.kif 16601-16601 父亲 的 1 数量 是 生物instance
(domain father 2 Organism) Merge.kif 16602-16602 父亲 的 2 数量 是 生物instance
(domain inhabits 1 Organism) Merge.kif 14351-14351 居住 的 1 数量 是 生物instance
(domain mother 1 Organism) Merge.kif 16583-16583 母亲 的 1 数量 是 生物instance
(domain mother 2 Organism) Merge.kif 16584-16584 母亲 的 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 16538-16538 父母 的 1 数量 是 生物instance
(domain parent 2 Organism) Merge.kif 16539-16539 父母 的 2 数量 是 生物instance
(domain relative 1 Organism) Merge.kif 16475-16475 relative 的 1 数量 是 生物instance
(domain relative 2 Organism) Merge.kif 16476-16476 relative 的 2 数量 是 生物instance
(domain sibling 1 Organism) Merge.kif 16646-16646 兄弟姐妹 的 1 数量 是 生物instance
(domain sibling 2 Organism) Merge.kif 16647-16647 兄弟姐妹 的 2 数量 是 生物instance
(domain son 1 Organism) Merge.kif 16629-16629 son 的 1 数量 是 生物instance
(domain son 2 Organism) Merge.kif 16630-16630 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 14936-14936 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 16491-16496
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18474-18479
(=>
    (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 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 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 18443-18447
(=>
    (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 15068-15073
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 15081-15086
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14887-14892
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14899-14904
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 16554-16559
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18456-18461
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18521-18526
(=>
    (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 14342-14347
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 16571-16574

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


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 10423-10430 过程受伤instance 若且唯若 那个 过程损坏instance 和 有存在 实体 这样 那个 实体生物instance那个 实体那个 过程patient
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 10252-10256
(=>
    (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 14477-14481
(=>
    (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 14427-14431
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 12178-12185
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10148-10152
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 12118-12127
(=>
    (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 14491-14495
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 19210-19212
(=>
    (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 15008-15014
(=>
    (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 18613-18619
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 12732-12737
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 15160-15167
(=>
    (instance ?ITEM FoodArtifact)
    (or
        (instance ?ITEM
            (FoodForFn Organism))
        (instance ?ITEM PackagedFoodArtifact)))
Society.kif 1319-1323
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 11025-11030
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 15047-15053
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 10440-10447
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10141-10146
(=>
    (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

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