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

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


(disjoint Organism Artifact) Merge.kif 14509-14509 Organism is disjoint from artifact
(documentation Organism ChineseLanguage "这通常是指有生命的个体，包括所有的 Plant 和 Animal。") chinese_format.kif 3372-3372 Organism is disjoint from artifact
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 14511-14512 Organism is disjoint from artifact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg") pictureList.kif 6746-6746 Organism is disjoint from artifact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") pictureList.kif 7482-7482 Organism is disjoint from artifact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") pictureList.kif 7483-7483 Organism is disjoint from artifact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 7484-7484 Organism is disjoint from artifact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant_ear_sponge.jpg") pictureList.kif 7486-7486 Organism is disjoint from artifact
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14510-14510 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(subclass Organism AutonomousAgent) Merge.kif 14508-14508 Organism is a subclass of agent
(subclass Organism OrganicObject) Merge.kif 14507-14507 Organism is a subclass of organic object

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


(instance Inhabitant Organism) Mid-level-ontology.kif 32321-32321 Inhabitant is an instance of organism
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14501-14501 Organic object is exhaustively partitioned into organism and anatomical structure
(subclass Animal Organism) Merge.kif 14599-14599 Animal is a subclass of organism
(subclass Carnivore Organism) Merge.kif 14751-14751 Carnivore is a subclass of organism
(subclass Fungivore Organism) Mid-level-ontology.kif 21680-21680 Fungivore is a subclass of organism
(subclass Fungus Organism) Merge.kif 14578-14578 Fungus is a subclass of organism
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 Genetically engineered organism is a subclass of organism
(subclass Herbivore Organism) Mid-level-ontology.kif 21649-21649 Herbivore is a subclass of organism
(subclass Microorganism Organism) Merge.kif 14604-14604 Microorganism is a subclass of organism
(subclass Omnivore Organism) Mid-level-ontology.kif 21664-21664 Omnivore is a subclass of organism
(subclass Parasite Organism) Mid-level-ontology.kif 6825-6825 Parasite is a subclass of organism
(subclass Plant Organism) Merge.kif 14552-14552 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 Toxic organism is a subclass of organism
(termFormat EnglishLanguage Organism "organism") english_format.kif 1135-1135 Toxic organism is a subclass of organism
(termFormat FrenchLanguage Organism "organisme") french_format.kif 641-641 Toxic organism is a subclass of organism
(termFormat Hindi Organism "jIvadhaarI padaartha") terms-hindi.txt 172-172 Toxic organism is a subclass of organism
(termFormat ItalianLanguage Organism "Organismo") terms-it.txt 175-175 Toxic organism is a subclass of organism
(termFormat JapaneseLanguage Organism "物") japanese_format.kif 2325-2325 Toxic organism is a subclass of organism
(termFormat PortugueseLanguage Organism "Organismo") portuguese_format.kif 593-593 Toxic organism is a subclass of organism
(termFormat cz Organism "organism") terms-cz.txt 209-209 Toxic organism is a subclass of organism
(termFormat de Organism "Organismus") terms-de.txt 468-468 Toxic organism is a subclass of organism
(termFormat ro Organism "organism") relations-ro.kif 662-662 Toxic organism is a subclass of organism
(termFormat tg Organism "kinapal") terms-tg.txt 176-176 Toxic organism is a subclass of organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain OrganismPopulationFn 1 Organism) Mid-level-ontology.kif 33674-33674 The number 1 argument of population of organisms is an instance of organism
(domain ancestor 1 Organism) Merge.kif 16525-16525 The number 1 argument of ancestor is an instance of organism
(domain ancestor 2 Organism) Merge.kif 16526-16526 The number 2 argument of ancestor is an instance of organism
(domain coreBodyTemp 1 Organism) Medicine.kif 495-495 The number 1 argument of core body temp is an instance of organism
(domain daughter 1 Organism) Merge.kif 16613-16613 The number 1 argument of daughter is an instance of organism
(domain daughter 2 Organism) Merge.kif 16614-16614 The number 2 argument of daughter is an instance of organism
(domain familyRelation 1 Organism) Merge.kif 16507-16507 The number 1 argument of family relation is an instance of organism
(domain familyRelation 2 Organism) Merge.kif 16508-16508 The number 2 argument of family relation is an instance of organism
(domain father 1 Organism) Merge.kif 16601-16601 The number 1 argument of father is an instance of organism
(domain father 2 Organism) Merge.kif 16602-16602 The number 2 argument of father is an instance of organism
(domain fathersBrothersDaughter 1 Organism) ArabicCulture.kif 682-682 The number 1 argument of fathers brothers daughter is an instance of organism
(domain fathersBrothersDaughter 2 Organism) ArabicCulture.kif 683-683 The number 2 argument of fathers brothers daughter is an instance of organism
(domain fathersBrothersSon 1 Organism) ArabicCulture.kif 668-668 The number 1 argument of fathers brothers son is an instance of organism
(domain fathersBrothersSon 2 Organism) ArabicCulture.kif 669-669 The number 2 argument of fathers brothers son is an instance of organism
(domain fathersBrothersWife 1 Organism) ArabicCulture.kif 612-612 The number 1 argument of fathers brothers wife is an instance of organism
(domain fathersBrothersWife 2 Organism) ArabicCulture.kif 613-613 The number 2 argument of fathers brothers wife is an instance of organism
(domain fathersSistersDaughter 1 Organism) ArabicCulture.kif 738-738 The number 1 argument of fathers sisters daughter is an instance of organism
(domain fathersSistersDaughter 2 Organism) ArabicCulture.kif 739-739 The number 2 argument of fathers sisters daughter is an instance of organism
(domain fathersSistersHusband 1 Organism) ArabicCulture.kif 640-640 The number 1 argument of fathers sisters husband is an instance of organism
(domain fathersSistersHusband 2 Organism) ArabicCulture.kif 641-641 The number 2 argument of fathers sisters husband is an instance of organism
(domain fathersSistersSon 1 Organism) ArabicCulture.kif 724-724 The number 1 argument of fathers sisters son is an instance of organism
(domain fathersSistersSon 2 Organism) ArabicCulture.kif 725-725 The number 2 argument of fathers sisters son is an instance of organism
(domain inhabits 1 Organism) Merge.kif 14523-14523 The number 1 argument of inhabits is an instance of organism
(domain maternalAunt 1 Organism) ArabicCulture.kif 599-599 The number 1 argument of maternal aunt is an instance of organism
(domain maternalAunt 2 Organism) ArabicCulture.kif 600-600 The number 2 argument of maternal aunt is an instance 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 16499-16504
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))		 Merge.kif 18304-18309
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (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 10362-10377
(=>
    (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 85-94
(=>
    (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 74-83
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1634-1653
(=>
    (and
        (instance ?INJ Damaging)
        (instance ?ORGANISM Organism)
        (patient ?INJ ?ORGANISM))
    (instance ?INJ Injuring))		 Merge.kif 10587-10592
(=>
    (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 2555-2569
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))		 Merge.kif 18271-18275
(=>
    (and
        (instance ?P ForestProduct)
        (instance ?M Manufacture)
        (result ?M ?P)
        (patient ?M ?X)
        (instance ?X Organism))
    (exists (?A ?F)
        (and
            (instance ?A Agriculture)
            (result ?A ?X)
            (eventLocated ?A ?F)
            (instance ?F Forest))))		 Economy.kif 5551-5563
(=>
    (and
        (instance ?REL SheddingPart)
        (?REL ?O ?P)
        (instance ?O ?ORG)
        (subclass ?ORG Organism))
    (exists (?PART)
        (and
            (instance ?P
                (DeadFn ?PART))
            (initialPart ?PART ?ORG))))		 Geography.kif 6695-6704
(=>
    (and
        (instance ?REL SheddingPart)
        (?REL ?O ?P)
        (instance ?O Organism)
        (instance ?P AnatomicalStructure)
        (part ?P ?O))
    (exists (?R)
        (and
            (instance ?R Removing)
            (origin ?R ?O)
            (patient ?R ?P))))		 Geography.kif 6682-6693
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))		 Mid-level-ontology.kif 58-65
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15153-15158
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15164-15169
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14969-14974
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 14980-14985
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))		 Merge.kif 16554-16559
(=>
    (instance ?O Organism)
    (attribute ?O Mortal))		 Mid-level-ontology.kif 25935-25937
(=>
    (instance ?O Organism)
    (capability BiologicalProcess experiencer ?O))		 Merge.kif 10294-10296
(=>
    (instance ?O Organism)
    (capability Killing agent ?O))		 Merge.kif 12473-12475
(=>
    (instance ?O Organism)
    (capability Killing patient ?O))		 Merge.kif 12477-12479
(=>
    (instance ?O Organism)
    (not
        (capability BiologicalProcess agent ?O)))		 Merge.kif 10289-10292
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))		 Merge.kif 18283-18288
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))		 Merge.kif 18345-18350

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (equal
            (MeasureFn ?Y McgPerKg)
            (PerFn ?M1 ?M2))
        (equal ?M1
            (MeasureFn ?NUM1
                (MicroFn Gram)))
        (equal ?M2
            (MeasureFn ?NUM2
                (KiloFn Gram))))
    (exists (?I ?B ?A)
        (and
            (instance ?I Ingesting)
            (instance ?B BiologicallyActiveSubstance)
            (instance ?A Organism)
            (patient ?I ?B)
            (agent ?I ?A)
            (weight ?B ?M1)
            (weight ?A ?M2))))		 WMD.kif 823-840
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5599-5606
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10392-10398
(=>
    (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 14625-14629
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))		 Mid-level-ontology.kif 12885-12889
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))		 Merge.kif 14584-14588
(=>
    (and
        (instance ?I Infecting)
        (experiencer ?I ?H))
    (exists (?T ?R ?O)
        (and
            (instance ?T Translocation)
            (moves ?T ?O)
            (instance ?O Organism)
            (instance ?R Replication)
            (experiencer ?R ?O)
            (subProcess ?T ?I)
            (subProcess ?R ?I))))		 Mid-level-ontology.kif 6784-6796
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))		 Merge.kif 12446-12453
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))		 Merge.kif 10283-10287
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))		 Merge.kif 12394-12403
(=>
    (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 45-56
(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))		 Merge.kif 14637-14641
(=>
    (attribute ?D Dorsal)
    (exists (?O)
        (and
            (or
                (instance ?O Organism)
                (instance ?O BodyPart))
            (not
                (and
                    (instance ?O Organism)
                    (instance ?O BodyPart)))
            (part ?D ?O)
            (equal ?B
                (BackFn ?O))
            (meetsSpatially ?B ?D))))		 Anatomy.kif 2006-2020
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))		 Food.kif 51-53
(=>
    (attribute ?O Mortal)
    (and
        (instance ?O Organism)
        (capability Death experiencer ?O)))		 Mid-level-ontology.kif 25929-25933
(=>
    (attribute ?ORG Greedy)
    (exists (?OBJ)
        (and
            (instance ?ORG Organism)
            (instance ?OBJ Physical)
            (desires ?ORG
                (possesses ?ORG ?OBJ))
            (not
                (modalAttribute
                    (possesses ?ORG ?OBJ) Necessity)))))		 Mid-level-ontology.kif 21401-21409
(=>
    (attribute ?V Ventral)
    (exists (?O ?F)
        (and
            (or
                (instance ?O Organism)
                (instance ?O BodyPart))
            (not
                (and
                    (instance ?O Organism)
                    (instance ?O BodyPart)))
            (part ?V ?O)
            (equal ?F
                (FrontFn ?O))
            (meetsSpatially ?F ?V))))		 Anatomy.kif 2027-2041
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (attribute ?ORGANISM ?DISEASE)))
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))		 WMD.kif 890-900
(=>
    (instance ?A Abducting)
    (exists (?BP ?ORGANISM ?TORSO ?MAF)
        (and
            (instance ?BP BodyPart)
            (instance ?ORGANISM Organism)
            (instance ?TORSO Torso)
            (not
                (equal ?BP ?TORSO))
            (subProcess ?MAF MovingAwayFrom)
            (patient ?MAF ?BP)
            (patient ?MAF ?TORSO)
            (part ?BP ?ORGANISM)
            (part ?TORSO ?ORGANISM)
            (experiencer ?A Organism)
            (moves ?A ?BP))))		 Anatomy.kif 2049-2064
(=>
    (instance ?A Adducting)
    (exists (?BP ?ORGANISM ?TORSO ?MT)
        (and
            (instance ?BP BodyPart)
            (instance ?ORGANISM Organism)
            (instance ?TORSO Torso)
            (not
                (equal ?BP ?TORSO))
            (instance ?MT MovingTowards)
            (subProcess ?MT ?A)
            (patient ?MT ?BP)
            (patient ?MT ?TORSO)
            (part ?BP ?ORGANISM)
            (part ?TORSO ?ORGANISM)
            (experiencer ?A Organism)
            (moves ?A ?BP))))		 Anatomy.kif 2073-2089
(=>
    (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 464-473
(=>
    (instance ?ANAT AnatomicalStructure)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (part ?ANAT ?ORGANISM)))))		 Merge.kif 15074-15080
(=>
    (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 18457-18463

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