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, Organismo, 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...

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


(disjoint Organism Artifact) Merge.kif 14257-14257 Organism is disjoint from artifact
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") Merge.kif 14261-14261
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 14259-14260
(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 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg" is a URL depicting organism
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") pictureList.kif 7485-7485 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg" is a URL depicting organism
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") pictureList.kif 7486-7486 "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg" is a URL depicting organism
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 7487-7487 "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg" is a URL depicting organism
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg") pictureList.kif 7489-7489 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg" is a URL depicting organism
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14258-14258 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Organism Agent) Merge.kif 14256-14256 Organism is a subclass of agent
(subclass Organism OrganicObject) Merge.kif 14255-14255 Organism is a subclass of organic object

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14246-14246 Organic object is exhaustively partitioned into organism and anatomical structure
(subclass Animal Organism) Merge.kif 14367-14367 Animal is a subclass of organism
(subclass Fungus Organism) Merge.kif 14340-14340 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 14374-14374 Microorganism is a subclass of organism
(subclass Plant Organism) Merge.kif 14307-14307 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 "生物" is the printable form of organism in ChineseLanguage
(termFormat EnglishLanguage Organism "organism") english_format.kif 651-651 "organism" is the printable form of organism in english language
(termFormat FrenchLanguage Organism "organisme") french_format.kif 641-641 "organisme" is the printable form of organism in french language
(termFormat Hindi Organism "jIvadhaarI padaartha") terms-hindi.txt 172-172 "jIvadhaarI padaartha" is the printable form of organism in Hindi
(termFormat ItalianLanguage Organism "Organismo") terms-it.txt 173-173 "Organismo" is the printable form of organism in italian language
(termFormat PortugueseLanguage Organism "Organismo") portuguese_format.kif 593-593 "Organismo" is the printable form of organism in portuguese language
(termFormat ar Organism "كَائِن حَيّ") arabic_format.kif 377-377 "كَائِن حَيّ" is the printable form of organism in ar
(termFormat cz Organism "organism") terms-cz.txt 209-209 "organism" is the printable form of organism in cz
(termFormat tg Organism "kinapal") terms-tg.txt 176-176 "kinapal" is the printable form of organism in tg

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


(domain ancestor 1 Organism) Merge.kif 16442-16442 The number 1 argument of ancestor is an instance of organism
(domain ancestor 2 Organism) Merge.kif 16443-16443 The number 2 argument of ancestor is an instance of organism
(domain daughter 1 Organism) Merge.kif 16529-16529 The number 1 argument of daughter is an instance of organism
(domain daughter 2 Organism) Merge.kif 16530-16530 The number 2 argument of daughter is an instance of organism
(domain familyRelation 1 Organism) Merge.kif 16422-16422 The number 1 argument of family relation is an instance of organism
(domain familyRelation 2 Organism) Merge.kif 16423-16423 The number 2 argument of family relation is an instance of organism
(domain father 1 Organism) Merge.kif 16515-16515 The number 1 argument of father is an instance of organism
(domain father 2 Organism) Merge.kif 16516-16516 The number 2 argument of father is an instance of organism
(domain inhabits 1 Organism) Merge.kif 14272-14272 The number 1 argument of inhabits is an instance of organism
(domain mother 1 Organism) Merge.kif 16501-16501 The number 1 argument of mother is an instance of organism
(domain mother 2 Organism) Merge.kif 16502-16502 The number 2 argument of mother is an instance of organism
(domain parasite 1 Organism) Mid-level-ontology.kif 6091-6091 The number 1 argument of parasite is an instance of organism
(domain parasite 2 Organism) Mid-level-ontology.kif 6092-6092 The number 2 argument of parasite is an instance of organism
(domain parent 1 Organism) Merge.kif 16460-16460 The number 1 argument of parent is an instance of organism
(domain parent 2 Organism) Merge.kif 16461-16461 The number 2 argument of parent is an instance of organism
(domain relative 1 Organism) Merge.kif 16397-16397 The number 1 argument of relative is an instance of organism
(domain relative 2 Organism) Merge.kif 16398-16398 The number 2 argument of relative is an instance of organism
(domain sibling 1 Organism) Merge.kif 16560-16560 The number 1 argument of sibling is an instance of organism
(domain sibling 2 Organism) Merge.kif 16561-16561 The number 2 argument of sibling is an instance of organism
(domain son 1 Organism) Merge.kif 16543-16543 The number 1 argument of son is an instance of organism
(domain son 2 Organism) Merge.kif 16544-16544 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 235-235 The number 1 argument of DeadFn is a subclass of organism
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1135-1135 The number 1 argument of FarmOfProductFn is a subclass of organism
(domainSubclass FoodForFn 1 Organism) Merge.kif 14857-14857 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 16413-16418
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18388-18393
(=>
    (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 10142-10157
(=>
    (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 18357-18361
(=>
    (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 14989-14994
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 15002-15007
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14808-14813
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14820-14825
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 16476-16481
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18370-18375
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18435-18440
(=>
    (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 14263-14268
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 16493-16496

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


(<=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 10343-10350 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 10172-10176
(=>
    (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 14398-14402
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9763-9767
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14348-14352
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 12099-12106
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10068-10072
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 12039-12048
(=>
    (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 14412-14416
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 18849-18851
(=>
    (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 14929-14935
(=>
    (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 18527-18533
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 12653-12658
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 15081-15088
(=>
    (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 10945-10950
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 14968-14974
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 10360-10367
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10061-10066
(=>
    (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 8869-8871

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