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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organism
Organism(organism)
more pictures...
Bittacidae, Panorpidae, Pyrrophyta, acephalous, achondritic, acid-loving, acidophilic, acidophilous, aciduric, aerobiosis, alkaline-loving, allopatric, amorphous, amphibiotic, amphidiploid, aneuploid, animate_thing, apivorous, arboreal, arboreous, armed, artificial, atavist, awnless, barbed, barbellate, bearded, being, benthos, biological_group, biology, biont, biota, biotic, biotype, biotypic, biparous, bloodsucking, brachiate, briary, briery, bristled, bristly, burred, burry, canescent, carnivorous, carrier, chondritic, class...

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


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


(disjoint Organism Artifact) Merge.kif 13294-13294 Organism is disjoint from artifact
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") chinese_format.kif 3372-3372
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 13296-13297
(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 13295-13295 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Organism Agent) Merge.kif 13293-13293 Organism is a subclass of agent
(subclass Organism OrganicObject) Merge.kif 13292-13292 Organism is a subclass of organic object

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 13286-13286 Organic object is exhaustively partitioned into organism and anatomical structure
(subclass Animal Organism) Merge.kif 13384-13384 Animal is a subclass of organism
(subclass Fungus Organism) Merge.kif 13363-13363 Fungus is a subclass of organism
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 Genetically engineered organism is a subclass of organism
(subclass Microorganism Organism) Merge.kif 13389-13389 Microorganism is a subclass of organism
(subclass Plant Organism) Merge.kif 13337-13337 Plant is a subclass of organism
(subclass ToxicOrganism Organism) WMD.kif 187-187 Toxic organism is a subclass of organism
(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 15152-15152 The number 1 argument of ancestor is an instance of organism
(domain ancestor 2 Organism) Merge.kif 15153-15153 The number 2 argument of ancestor is an instance of organism
(domain daughter 1 Organism) Merge.kif 15240-15240 The number 1 argument of daughter is an instance of organism
(domain daughter 2 Organism) Merge.kif 15241-15241 The number 2 argument of daughter is an instance of organism
(domain familyRelation 1 Organism) Merge.kif 15135-15135 The number 1 argument of family relation is an instance of organism
(domain familyRelation 2 Organism) Merge.kif 15136-15136 The number 2 argument of family relation is an instance of organism
(domain father 1 Organism) Merge.kif 15228-15228 The number 1 argument of father is an instance of organism
(domain father 2 Organism) Merge.kif 15229-15229 The number 2 argument of father is an instance of organism
(domain inhabits 1 Organism) Merge.kif 13308-13308 The number 1 argument of inhabits is an instance of organism
(domain mother 1 Organism) Merge.kif 15211-15211 The number 1 argument of mother is an instance of organism
(domain mother 2 Organism) Merge.kif 15212-15212 The number 2 argument of mother is an instance of organism
(domain parasite 1 Organism) Mid-level-ontology.kif 6095-6095 The number 1 argument of parasite is an instance of organism
(domain parasite 2 Organism) Mid-level-ontology.kif 6096-6096 The number 2 argument of parasite is an instance of organism
(domain parent 1 Organism) Merge.kif 15167-15167 The number 1 argument of parent is an instance of organism
(domain parent 2 Organism) Merge.kif 15168-15168 The number 2 argument of parent is an instance of organism
(domain relative 1 Organism) Merge.kif 15114-15114 The number 1 argument of relative is an instance of organism
(domain relative 2 Organism) Merge.kif 15115-15115 The number 2 argument of relative is an instance of organism
(domain sibling 1 Organism) Merge.kif 15267-15267 The number 1 argument of sibling is an instance of organism
(domain sibling 2 Organism) Merge.kif 15268-15268 The number 2 argument of sibling is an instance of organism
(domain son 1 Organism) Merge.kif 15252-15252 The number 1 argument of son is an instance of organism
(domain son 2 Organism) Merge.kif 15253-15253 The number 2 argument of son is an instance of organism
(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87 The number 1 argument of AgentOfOrganismFn is a subclass of organism
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 234-234 The number 1 argument of DeadFn is a subclass of organism
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1090-1090 The number 1 argument of FarmOfProductFn is a subclass of organism
(domainSubclass FoodForFn 1 Organism) Merge.kif 13784-13784 The number 1 argument of FoodForFn is a subclass of 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 15127-15132
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 16771-16776
(=>
    (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 9602-9617
(=>
    (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 1792-1807
(=>
    (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 16743-16747
(=>
    (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 13900-13905
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13911-13916
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13742-13747
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13753-13758
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 15181-15186
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 16755-16760
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 16812-16817
(=>
    (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 13299-13304
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 15198-15201

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


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 9795-9802 A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 9631-9635
(=>
    (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 13410-13414
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9778-9782
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 13369-13373
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 11399-11406
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 9532-9536
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 11347-11356
(=>
    (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 13422-13426
(=>
    (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 13847-13853
(=>
    (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 16895-16901
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 11891-11896
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 13976-13983
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10357-10362
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 13881-13887
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 9811-9818
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 9525-9530
(=>
    (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 2572-2581
(=>
    (instance ?SPECIES BiologicalSpecies)
    (subclass ?SPECIES Organism))
Mid-level-ontology.kif 8884-8886

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