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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organism
Organism
more pictures...

VerbNet: nonverbal_expression-40.2|sigh, nonverbal_expression-40.2|sigh,


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


(disjoint Organism Artifact) Merge.kif 13170-13170 disjoint Organism and Artifact
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") chinese_format.kif 3372-3372
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 13172-13173
(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 Organism 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 Organism 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 Organism 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 Organism 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 Organism and "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg"
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 13171-13171 partition Organism, Animal, Plant, Fungus and Microorganism
(subclass Organism Agent) Merge.kif 13169-13169 subclass Organism and Agent
(subclass Organism OrganicObject) Merge.kif 13168-13168 subclass Organism and OrganicObject

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 13162-13162 partition OrganicObject, Organism and AnatomicalStructure
(subclass Animal Organism) Merge.kif 13260-13260 subclass Animal and Organism
(subclass Fungus Organism) Merge.kif 13239-13239 subclass Fungus and Organism
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 subclass GeneticallyEngineeredOrganism and Organism
(subclass Microorganism Organism) Merge.kif 13265-13265 subclass Microorganism and Organism
(subclass Plant Organism) Merge.kif 13213-13213 subclass Plant and Organism
(subclass ToxicOrganism Organism) WMD.kif 187-187 subclass ToxicOrganism and Organism
(termFormat ChineseLanguage Organism "生物") chinese_format.kif 964-964 termFormat ChineseLanguage, Organism and "生物"
(termFormat EnglishLanguage Organism "organism") english_format.kif 1140-1140 termFormat EnglishLanguage, Organism and "organism"

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


(domain ancestor 1 Organism) Merge.kif 15027-15027 domain ancestor, 1 and Organism
(domain ancestor 2 Organism) Merge.kif 15028-15028 domain ancestor, 2 and Organism
(domain daughter 1 Organism) Merge.kif 15113-15113 domain daughter, 1 and Organism
(domain daughter 2 Organism) Merge.kif 15114-15114 domain daughter, 2 and Organism
(domain familyRelation 1 Organism) Merge.kif 15010-15010 domain familyRelation, 1 and Organism
(domain familyRelation 2 Organism) Merge.kif 15011-15011 domain familyRelation, 2 and Organism
(domain father 1 Organism) Merge.kif 15101-15101 domain father, 1 and Organism
(domain father 2 Organism) Merge.kif 15102-15102 domain father, 2 and Organism
(domain inhabits 1 Organism) Merge.kif 13184-13184 domain inhabits, 1 and Organism
(domain mother 1 Organism) Merge.kif 15085-15085 domain mother, 1 and Organism
(domain mother 2 Organism) Merge.kif 15086-15086 domain mother, 2 and Organism
(domain parasite 1 Organism) Mid-level-ontology.kif 6093-6093 domain parasite, 1 and Organism
(domain parasite 2 Organism) Mid-level-ontology.kif 6094-6094 domain parasite, 2 and Organism
(domain parent 1 Organism) Merge.kif 15042-15042 domain parent, 1 and Organism
(domain parent 2 Organism) Merge.kif 15043-15043 domain parent, 2 and Organism
(domain relative 1 Organism) Merge.kif 14989-14989 domain relative, 1 and Organism
(domain relative 2 Organism) Merge.kif 14990-14990 domain relative, 2 and Organism
(domain sibling 1 Organism) Merge.kif 15140-15140 domain sibling, 1 and Organism
(domain sibling 2 Organism) Merge.kif 15141-15141 domain sibling, 2 and Organism
(domain son 1 Organism) Merge.kif 15125-15125 domain son, 1 and Organism
(domain son 2 Organism) Merge.kif 15126-15126 domain son, 2 and Organism
(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87 domainSubclass AgentOfOrganismFn, 1 and Organism
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 235-235 domainSubclass DeadFn, 1 and Organism
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1134-1134 domainSubclass FarmOfProductFn, 1 and Organism
(domainSubclass FoodForFn 1 Organism) Merge.kif 13660-13660 domainSubclass FoodForFn, 1 and Organism

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 15002-15007
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 16644-16649
(=>
    (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 9478-9493
(=>
    (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 1794-1809
(=>
    (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 586-600
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))
Merge.kif 16616-16620
(=>
    (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 13776-13781
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13787-13792
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13618-13623
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13629-13634
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 15056-15061
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 16628-16633
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 16685-16690
(=>
    (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 13175-13180
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 15073-15076

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


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 9671-9678 instance Process and Injuring instance Process and Damaging Entity instance Entity and Organism patient Process and Entity
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 9507-9511
(=>
    (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 13286-13290
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9773-9777
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 13245-13249
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 11275-11282
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 9408-9412
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 11223-11232
(=>
    (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 13298-13302
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 19173-19175
(=>
    (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 13723-13729
(=>
    (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 16768-16774
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 11767-11772
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 13852-13859
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10233-10238
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 13757-13763
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 9687-9694
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 9401-9406
(=>
    (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 2574-2583
(=>
    (instance ?SPECIES BiologicalSpecies)
    (subclass ?SPECIES Organism))
Mid-level-ontology.kif 8879-8881
(=>
    (instance ?STUFF Tissue)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (part ?STUFF ?ORGANISM))))
Merge.kif 13915-13920

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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