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 14411-14411 Organisme est disjoint de artefact
(documentation Organism ChineseLanguage "这通常是指有生命的个体,包括所有的 PlantAnimal。") chinese_format.kif 3372-3372 Organisme est disjoint de artefact
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") Merge.kif 14413-14414 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 14412-14412 Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme
(subclass Organism AutonomousAgent) Merge.kif 14410-14410 Organisme est une sous-classe de AutonomousAgent
(subclass Organism OrganicObject) Merge.kif 14409-14409 Organisme est une sous-classe de objet organique

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


(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14403-14403 Objet organique est compl�tement d�compos� en organisme + structure anatomique
(subclass Animal Organism) Merge.kif 14501-14501 Animal est une sous-classe de organisme
(subclass Fungus Organism) Merge.kif 14480-14480 Champignon est une sous-classe de organisme
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 GeneticallyEngineeredOrganism est une sous-classe de organisme
(subclass Microorganism Organism) Merge.kif 14506-14506 Microorganisme est une sous-classe de organisme
(subclass Parasite Organism) Mid-level-ontology.kif 5882-5882 Parasite est une sous-classe de organisme
(subclass Plant Organism) Merge.kif 14454-14454 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 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

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


(domain OrganismPopulationFn 1 Organism) Mid-level-ontology.kif 32025-32025 Le nombre 1 argument de OrganismPopulationFn est une instance de organisme
(domain ancestor 1 Organism) Merge.kif 16427-16427 Le nombre 1 argument de ancestor est une instance de organisme
(domain ancestor 2 Organism) Merge.kif 16428-16428 Le nombre 2 argument de ancestor est une instance de organisme
(domain coreBodyTemp 1 Organism) Medicine.kif 494-494 Le nombre 1 argument de coreBodyTemp est une instance de organisme
(domain daughter 1 Organism) Merge.kif 16515-16515 Le nombre 1 argument de daughter est une instance de organisme
(domain daughter 2 Organism) Merge.kif 16516-16516 Le nombre 2 argument de daughter est une instance de organisme
(domain familyRelation 1 Organism) Merge.kif 16409-16409 Le nombre 1 argument de familyRelation est une instance de organisme
(domain familyRelation 2 Organism) Merge.kif 16410-16410 Le nombre 2 argument de familyRelation est une instance de organisme
(domain father 1 Organism) Merge.kif 16503-16503 Le nombre 1 argument de father est une instance de organisme
(domain father 2 Organism) Merge.kif 16504-16504 Le nombre 2 argument de father est une instance de organisme
(domain inhabits 1 Organism) Merge.kif 14425-14425 Le nombre 1 argument de inhabits est une instance de organisme
(domain mother 1 Organism) Merge.kif 16486-16486 Le nombre 1 argument de mother est une instance de organisme
(domain mother 2 Organism) Merge.kif 16487-16487 Le nombre 2 argument de mother est une instance de organisme
(domain parasite 1 Organism) Mid-level-ontology.kif 6271-6271 Le nombre 1 argument de parasite est une instance de organisme
(domain parasite 2 Organism) Mid-level-ontology.kif 6272-6272 Le nombre 2 argument de parasite est une instance de organisme
(domain parent 1 Organism) Merge.kif 16442-16442 Le nombre 1 argument de parent est une instance de organisme
(domain parent 2 Organism) Merge.kif 16443-16443 Le nombre 2 argument de parent est une instance de organisme
(domain relative 1 Organism) Merge.kif 16388-16388 Le nombre 1 argument de relative est une instance de organisme
(domain relative 2 Organism) Merge.kif 16389-16389 Le nombre 2 argument de relative est une instance de organisme
(domain sheddingBodyPart 1 Organism) Geography.kif 6423-6423 Le nombre 1 argument de sheddingBodyPart est une instance de organisme
(domain sibling 1 Organism) Merge.kif 16542-16542 Le nombre 1 argument de sibling est une instance de organisme
(domain sibling 2 Organism) Merge.kif 16543-16543 Le nombre 2 argument de sibling est une instance de organisme
(domain son 1 Organism) Merge.kif 16527-16527 Le nombre 1 argument de son est une instance de organisme
(domain son 2 Organism) Merge.kif 16528-16528 Le nombre 2 argument de son est une instance de organisme
(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87 Le nombre 1 argument de AgentOfOrganismFn est une sous-classe 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 16401-16406
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18202-18207
(=>
    (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 10268-10283
(=>
    (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 1410-1429
(=>
    (and
        (instance ?INJ Damaging)
        (instance ?ORGANISM Organism)
        (patient ?INJ ?ORGANISM))
    (instance ?INJ Injuring))
Merge.kif 10493-10498
(=>
    (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 2548-2562
(=>
    (and
        (instance ?ORGANISM Organism)
        (agent ?PROCESS ?ORGANISM))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?ORGANISM Living)))
Merge.kif 18170-18174
(=>
    (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 5325-5337
(=>
    (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 6400-6409
(=>
    (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 6387-6398
(=>
    (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 15055-15060
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 15066-15071
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 14871-14876
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14882-14887
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 16456-16461
(=>
    (instance ?O Organism)
    (capability BiologicalProcess experiencer ?O))
Merge.kif 10200-10202
(=>
    (instance ?O Organism)
    (capability Killing agent ?O))
Merge.kif 12379-12381
(=>
    (instance ?O Organism)
    (capability Killing patient ?O))
Merge.kif 12383-12385
(=>
    (instance ?O Organism)
    (not
        (capability BiologicalProcess agent ?O)))
Merge.kif 10195-10198
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18182-18187
(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR DevelopmentalAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18243-18248
(=>
    (instance ?ORG Organism)
    (holdsDuring
        (WhenFn ?ORG)
        (attribute ?ORG Living)))
Mid-level-ontology.kif 96-99

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 5373-5380
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10298-10304
(=>
    (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 14527-14531
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 11772-11776
(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14486-14490
(=>
    (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 5841-5853
(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 12352-12359
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10189-10193
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 12300-12309
(=>
    (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 14539-14543
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Food.kif 51-53
(=>
    (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 ?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 14976-14982
(=>
    (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 18355-18361
(=>
    (instance ?C Catheter)
    (hasPurpose ?C
        (exists (?M ?O ?OBJ ?L)
            (and
                (instance ?O Organism)
                (instance ?M Motion)
                (moves ?M ?OBJ)
                (orientation ?L ?O Outside)
                (path ?M ?C)
                (or
                    (and
                        (origin ?M ?L)
                        (destination ?M ?O))
                    (and
                        (origin ?M ?O)
                        (destination ?M ?L)))))))
Medicine.kif 536-552
(=>
    (instance ?C Catheterization)
    (exists (?CATH ?O)
        (and
            (instance ?CATH Catheter)
            (instance ?O Organism)
            (objectTransferred ?C ?CATH)
            (destination ?C ?O))))
Medicine.kif 558-565
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 15132-15139
(=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))
Merge.kif 10484-10491
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 11163-11168
(=>
    (instance ?PART BodyPart)
    (exists (?ORGANISM ?TIME)
        (and
            (instance ?ORGANISM Organism)
            (temporalPart ?TIME
                (WhenFn ?ORGANISM))
            (holdsDuring ?TIME
                (component ?PART ?ORGANISM)))))
Merge.kif 15010-15016

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