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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organism
Organism(organisme)
more pictures...

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


(disjoint Organism Artifact) Merge.kif 14494-14494 Organisme est disjoint de artefact
(documentation Organism ChineseLanguage "这通常是指有生命的个体，包括所有的 Plant 和 Animal。") chinese_format.kif 3372-3372 Organisme est disjoint de artefact
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 14496-14497 Organisme est disjoint de artefact
(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 Organisme est disjoint de artefact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") pictureList.kif 7482-7482 Organisme est disjoint de artefact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") pictureList.kif 7483-7483 Organisme est disjoint de artefact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 7484-7484 Organisme est disjoint de artefact
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant_ear_sponge.jpg") pictureList.kif 7486-7486 Organisme est disjoint de artefact
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14495-14495 Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme
(subclass Organism AutonomousAgent) Merge.kif 14493-14493 Organisme est une sous-classe de AutonomousAgent
(subclass Organism OrganicObject) Merge.kif 14492-14492 Organisme est une sous-classe de objet organique

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


(instance Inhabitant Organism) Mid-level-ontology.kif 32323-32323 Inhabitant est une instance de organisme
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14486-14486 Objet organique est compl�tement d�compos� en organisme + structure anatomique
(subclass Animal Organism) Merge.kif 14584-14584 Animal est une sous-classe de organisme
(subclass Carnivore Organism) Merge.kif 14736-14736 Carnivore est une sous-classe de organisme
(subclass Fungivore Organism) Mid-level-ontology.kif 21680-21680 Fungivore est une sous-classe de organisme
(subclass Fungus Organism) Merge.kif 14563-14563 Champignon est une sous-classe de organisme
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 GeneticallyEngineeredOrganism est une sous-classe de organisme
(subclass Herbivore Organism) Mid-level-ontology.kif 21649-21649 Herbivore est une sous-classe de organisme
(subclass Microorganism Organism) Merge.kif 14589-14589 Microorganisme est une sous-classe de organisme
(subclass Omnivore Organism) Mid-level-ontology.kif 21664-21664 Omnivore est une sous-classe de organisme
(subclass Parasite Organism) Mid-level-ontology.kif 6825-6825 Parasite est une sous-classe de organisme
(subclass Plant Organism) Merge.kif 14537-14537 Plante est une sous-classe de organisme
(subclass ToxicOrganism Organism) WMD.kif 187-187 ToxicOrganism est une sous-classe de organisme
(termFormat ChineseLanguage Organism "生物") chinese_format.kif 964-964 ToxicOrganism est une sous-classe de organisme
(termFormat EnglishLanguage Organism "organism") english_format.kif 1135-1135 ToxicOrganism est une sous-classe de organisme
(termFormat FrenchLanguage Organism "organisme") french_format.kif 641-641 ToxicOrganism est une sous-classe de organisme
(termFormat Hindi Organism "jIvadhaarI padaartha") terms-hindi.txt 172-172 ToxicOrganism est une sous-classe de organisme
(termFormat ItalianLanguage Organism "Organismo") terms-it.txt 175-175 ToxicOrganism est une sous-classe de organisme
(termFormat JapaneseLanguage Organism "物") japanese_format.kif 2325-2325 ToxicOrganism est une sous-classe de organisme
(termFormat PortugueseLanguage Organism "Organismo") portuguese_format.kif 593-593 ToxicOrganism est une sous-classe de organisme
(termFormat cz Organism "organism") terms-cz.txt 209-209 ToxicOrganism est une sous-classe de organisme
(termFormat de Organism "Organismus") terms-de.txt 468-468 ToxicOrganism est une sous-classe de organisme
(termFormat ro Organism "organism") relations-ro.kif 662-662 ToxicOrganism est une sous-classe de organisme
(termFormat tg Organism "kinapal") terms-tg.txt 176-176 ToxicOrganism est une sous-classe de organisme

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 33676-33676 Le nombre 1 argument de OrganismPopulationFn est une instance de organisme
(domain ancestor 1 Organism) Merge.kif 16510-16510 Le nombre 1 argument de ancestor est une instance de organisme
(domain ancestor 2 Organism) Merge.kif 16511-16511 Le nombre 2 argument de ancestor est une instance de organisme
(domain coreBodyTemp 1 Organism) Medicine.kif 495-495 Le nombre 1 argument de coreBodyTemp est une instance de organisme
(domain daughter 1 Organism) Merge.kif 16598-16598 Le nombre 1 argument de daughter est une instance de organisme
(domain daughter 2 Organism) Merge.kif 16599-16599 Le nombre 2 argument de daughter est une instance de organisme
(domain familyRelation 1 Organism) Merge.kif 16492-16492 Le nombre 1 argument de familyRelation est une instance de organisme
(domain familyRelation 2 Organism) Merge.kif 16493-16493 Le nombre 2 argument de familyRelation est une instance de organisme
(domain father 1 Organism) Merge.kif 16586-16586 Le nombre 1 argument de father est une instance de organisme
(domain father 2 Organism) Merge.kif 16587-16587 Le nombre 2 argument de father est une instance de organisme
(domain fathersBrothersDaughter 1 Organism) ArabicCulture.kif 682-682 Le nombre 1 argument de fathersBrothersDaughter est une instance de organisme
(domain fathersBrothersDaughter 2 Organism) ArabicCulture.kif 683-683 Le nombre 2 argument de fathersBrothersDaughter est une instance de organisme
(domain fathersBrothersSon 1 Organism) ArabicCulture.kif 668-668 Le nombre 1 argument de fathersBrothersSon est une instance de organisme
(domain fathersBrothersSon 2 Organism) ArabicCulture.kif 669-669 Le nombre 2 argument de fathersBrothersSon est une instance de organisme
(domain fathersBrothersWife 1 Organism) ArabicCulture.kif 612-612 Le nombre 1 argument de fathersBrothersWife est une instance de organisme
(domain fathersBrothersWife 2 Organism) ArabicCulture.kif 613-613 Le nombre 2 argument de fathersBrothersWife est une instance de organisme
(domain fathersSistersDaughter 1 Organism) ArabicCulture.kif 738-738 Le nombre 1 argument de fathersSistersDaughter est une instance de organisme
(domain fathersSistersDaughter 2 Organism) ArabicCulture.kif 739-739 Le nombre 2 argument de fathersSistersDaughter est une instance de organisme
(domain fathersSistersHusband 1 Organism) ArabicCulture.kif 640-640 Le nombre 1 argument de fathersSistersHusband est une instance de organisme
(domain fathersSistersHusband 2 Organism) ArabicCulture.kif 641-641 Le nombre 2 argument de fathersSistersHusband est une instance de organisme
(domain fathersSistersSon 1 Organism) ArabicCulture.kif 724-724 Le nombre 1 argument de fathersSistersSon est une instance de organisme
(domain fathersSistersSon 2 Organism) ArabicCulture.kif 725-725 Le nombre 2 argument de fathersSistersSon est une instance de organisme
(domain inhabits 1 Organism) Merge.kif 14508-14508 Le nombre 1 argument de inhabits est une instance de organisme
(domain maternalAunt 1 Organism) ArabicCulture.kif 599-599 Le nombre 1 argument de maternalAunt est une instance de organisme
(domain maternalAunt 2 Organism) ArabicCulture.kif 600-600 Le nombre 2 argument de maternalAunt est une instance de organisme

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 16484-16489
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))		 Merge.kif 18289-18294
(=>
    (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 10347-10362
(=>
    (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 10572-10577
(=>
    (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 18256-18260
(=>
    (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 6495-6504
(=>
    (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 6482-6493
(=>
    (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 15138-15143
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15149-15154
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14954-14959
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 14965-14970
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))		 Merge.kif 16539-16544
(=>
    (instance ?O Organism)
    (attribute ?O Mortal))		 Mid-level-ontology.kif 25937-25939
(=>
    (instance ?O Organism)
    (capability BiologicalProcess experiencer ?O))		 Merge.kif 10279-10281
(=>
    (instance ?O Organism)
    (capability Killing agent ?O))		 Merge.kif 12458-12460
(=>
    (instance ?O Organism)
    (capability Killing patient ?O))		 Merge.kif 12462-12464
(=>
    (instance ?O Organism)
    (not
        (capability BiologicalProcess agent ?O)))		 Merge.kif 10274-10277
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))		 Merge.kif 18268-18273
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))		 Merge.kif 18330-18335

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 10377-10383
(=>
    (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 14610-14614
(=>
    (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 14569-14573
(=>
    (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 12431-12438
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))		 Merge.kif 10268-10272
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))		 Merge.kif 12379-12388
(=>
    (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 14622-14626
(=>
    (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 25931-25935
(=>
    (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 15059-15065
(=>
    (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 18442-18448

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