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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organism
Organism
more pictures...

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


(disjoint Organism Artifact) Merge.kif 13356-13356
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") chinese_format.kif 3372-3372
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 13358-13359
(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 "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") pictureList.kif 7485-7485
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") pictureList.kif 7486-7486
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 7487-7487
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg") pictureList.kif 7489-7489
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 13357-13357
(subclass Organism Agent) Merge.kif 13355-13355
(subclass Organism OrganicObject) Merge.kif 13354-13354

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 13348-13348
(subclass Animal Organism) Merge.kif 13446-13446
(subclass Fungus Organism) Merge.kif 13425-13425
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234
(subclass Microorganism Organism) Merge.kif 13451-13451
(subclass Plant Organism) Merge.kif 13399-13399
(subclass ToxicOrganism Organism) WMD.kif 187-187
(termFormat ChineseLanguage Organism "生物") chinese_format.kif 964-964
(termFormat EnglishLanguage Organism "organism") english_format.kif 1140-1140

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


(domain ancestor 1 Organism) Merge.kif 15226-15226
(domain ancestor 2 Organism) Merge.kif 15227-15227
(domain daughter 1 Organism) Merge.kif 15314-15314
(domain daughter 2 Organism) Merge.kif 15315-15315
(domain familyRelation 1 Organism) Merge.kif 15208-15208
(domain familyRelation 2 Organism) Merge.kif 15209-15209
(domain father 1 Organism) Merge.kif 15302-15302
(domain father 2 Organism) Merge.kif 15303-15303
(domain inhabits 1 Organism) Merge.kif 13370-13370
(domain mother 1 Organism) Merge.kif 15285-15285
(domain mother 2 Organism) Merge.kif 15286-15286
(domain parasite 1 Organism) Mid-level-ontology.kif 6101-6101
(domain parasite 2 Organism) Mid-level-ontology.kif 6102-6102
(domain parent 1 Organism) Merge.kif 15241-15241
(domain parent 2 Organism) Merge.kif 15242-15242
(domain relative 1 Organism) Merge.kif 15187-15187
(domain relative 2 Organism) Merge.kif 15188-15188
(domain sibling 1 Organism) Merge.kif 15341-15341
(domain sibling 2 Organism) Merge.kif 15342-15342
(domain son 1 Organism) Merge.kif 15326-15326
(domain son 2 Organism) Merge.kif 15327-15327
(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 234-234
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1090-1090
(domainSubclass FoodForFn 1 Organism) Merge.kif 13846-13846

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 15200-15205
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 16850-16855
(=>
    (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 9670-9685
(=>
    (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 207-216
(=>
    (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 195-204
(=>
    (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 1798-1813
(=>
    (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 542-556
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))
Merge.kif 16822-16826
(=>
    (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 250-258
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))
Mid-level-ontology.kif 177-184
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13962-13967
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13973-13978
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13804-13809
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13815-13820
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 15255-15260
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 16834-16839
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 16891-16896
(=>
    (instance ?ORG Organism)
    (holdsDuring
        (WhenFn ?ORG)
        (attribute ?ORG Living)))
Mid-level-ontology.kif 219-222
(=>
    (instance ?ORGANISM Organism)
    (exists (?BIRTH)
        (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?ORGANISM))))
Merge.kif 13361-13366
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 15272-15275

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


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 9863-9870
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 9699-9703
(=>
    (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 13472-13476
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9774-9778
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 13431-13435
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 11464-11471
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 9600-9604
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 11412-11421
(=>
    (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 159-170
(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 13484-13488
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Food.kif 34-36
(=>
    (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 13909-13915
(=>
    (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 16974-16980
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 11956-11961
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 14038-14045
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10425-10430
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 13943-13949
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 9879-9886
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 9593-9598
(=>
    (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 2578-2587
(=>
    (instance ?SPECIES BiologicalSpecies)
    (subclass ?SPECIES Organism))
Mid-level-ontology.kif 8865-8867

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 3.0 is open source software produced by Articulate Software and its partners