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


s__disjoint(s__Organism,s__Artifact)

Merge.kif 13671-13671 Organism is disjoint from artifact
s__documentation(s__Organism,s__ChineseLanguage,'"这通常是指有生命的个体,包括所有的 PlantAnimal。"')

chinese_format.kif 3372-3372
s__documentation(s__Organism,s__EnglishLanguage,'"Generally, a living individual, including all Plants and Animals."')

Merge.kif 13673-13674
s__externalImage(s__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
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg"')

pictureList.kif 7484-7484
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg"')

pictureList.kif 7485-7485
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg"')

pictureList.kif 7486-7486
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg"')

pictureList.kif 7488-7488
s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)

Merge.kif 13672-13672 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
s__subclass(s__Organism,s__Agent)

s__instance(s__Agent,s__SetOrClass)

s__instance(s__Organism,s__SetOrClass)

Merge.kif 13670-13670 Organism is a subclass of agent
s__instance(s__Organism,s__SetOrClass)

s__subclass(s__Organism,s__OrganicObject)

s__instance(s__OrganicObject,s__SetOrClass)

Merge.kif 13669-13669 Organism is a subclass of organic object

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


s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)

Merge.kif 13663-13663 Organic object is exhaustively partitioned into organism and anatomical structure
s__instance(s__Organism,s__SetOrClass)

s__subclass(s__Animal,s__Organism)

s__instance(s__Animal,s__SetOrClass)

Merge.kif 13761-13761 Animal is a subclass of organism
s__instance(s__Organism,s__SetOrClass)

s__instance(s__Fungus,s__SetOrClass)

s__subclass(s__Fungus,s__Organism)

Merge.kif 13740-13740 Fungus is a subclass of organism
s__instance(s__Organism,s__SetOrClass)

s__subclass(s__GeneticallyEngineeredOrganism,s__Organism)

s__instance(s__GeneticallyEngineeredOrganism,s__SetOrClass)

WMD.kif 234-234 Genetically engineered organism is a subclass of organism
s__instance(s__Organism,s__SetOrClass)

s__instance(s__Microorganism,s__SetOrClass)

s__subclass(s__Microorganism,s__Organism)

Merge.kif 13766-13766 Microorganism is a subclass of organism
s__subclass(s__Parasite,s__Organism)

s__instance(s__Organism,s__SetOrClass)

s__instance(s__Parasite,s__SetOrClass)

Mid-level-ontology.kif 5531-5531 Parasite is a subclass of organism
s__instance(s__Organism,s__SetOrClass)

s__subclass(s__Plant,s__Organism)

s__instance(s__Plant,s__SetOrClass)

Merge.kif 13714-13714 Plant is a subclass of organism
s__instance(s__ToxicOrganism,s__SetOrClass)

s__instance(s__Organism,s__SetOrClass)

s__subclass(s__ToxicOrganism,s__Organism)

WMD.kif 187-187 Toxic organism is a subclass of organism
s__termFormat(s__ChineseLanguage,s__Organism,'"生物"')

chinese_format.kif 964-964
s__termFormat(s__EnglishLanguage,s__Organism,'"organism"')

english_format.kif 1140-1140

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


s__domain(s__ancestor__m,n__1,s__Organism)

Merge.kif 15574-15574 The number 1 argument of ancestor is an instance of organism
s__domain(s__ancestor__m,n__2,s__Organism)

Merge.kif 15575-15575 The number 2 argument of ancestor is an instance of organism
s__domain(s__daughter__m,n__1,s__Organism)

Merge.kif 15662-15662 The number 1 argument of daughter is an instance of organism
s__domain(s__daughter__m,n__2,s__Organism)

Merge.kif 15663-15663 The number 2 argument of daughter is an instance of organism
s__domain(s__familyRelation__m,n__1,s__Organism)

Merge.kif 15556-15556 The number 1 argument of family relation is an instance of organism
s__domain(s__familyRelation__m,n__2,s__Organism)

Merge.kif 15557-15557 The number 2 argument of family relation is an instance of organism
s__domain(s__father__m,n__1,s__Organism)

Merge.kif 15650-15650 The number 1 argument of father is an instance of organism
s__domain(s__father__m,n__2,s__Organism)

Merge.kif 15651-15651 The number 2 argument of father is an instance of organism
s__domain(s__inhabits__m,n__1,s__Organism)

Merge.kif 13685-13685 The number 1 argument of inhabits is an instance of organism
s__domain(s__mother__m,n__1,s__Organism)

Merge.kif 15633-15633 The number 1 argument of mother is an instance of organism
s__domain(s__mother__m,n__2,s__Organism)

Merge.kif 15634-15634 The number 2 argument of mother is an instance of organism
s__domain(s__parasite__m,n__1,s__Organism)

Mid-level-ontology.kif 5890-5890 The number 1 argument of parasite is an instance of organism
s__domain(s__parasite__m,n__2,s__Organism)

Mid-level-ontology.kif 5891-5891 The number 2 argument of parasite is an instance of organism
s__domain(s__parent__m,n__1,s__Organism)

Merge.kif 15589-15589 The number 1 argument of parent is an instance of organism
s__domain(s__parent__m,n__2,s__Organism)

Merge.kif 15590-15590 The number 2 argument of parent is an instance of organism
s__domain(s__relative__m,n__1,s__Organism)

Merge.kif 15535-15535 The number 1 argument of relative is an instance of organism
s__domain(s__relative__m,n__2,s__Organism)

Merge.kif 15536-15536 The number 2 argument of relative is an instance of organism
s__domain(s__sibling__m,n__1,s__Organism)

Merge.kif 15689-15689 The number 1 argument of sibling is an instance of organism
s__domain(s__sibling__m,n__2,s__Organism)

Merge.kif 15690-15690 The number 2 argument of sibling is an instance of organism
s__domain(s__son__m,n__1,s__Organism)

Merge.kif 15674-15674 The number 1 argument of son is an instance of organism
s__domain(s__son__m,n__2,s__Organism)

Merge.kif 15675-15675 The number 2 argument of son is an instance of organism
s__domainSubclass(s__AgentOfOrganismFn__m,n__1,s__Organism)

WMD.kif 87-87 The number 1 argument of AgentOfOrganismFn is a subclass of organism
s__domainSubclass(s__DeadFn__m,n__1,s__Organism)

Mid-level-ontology.kif 108-108 The number 1 argument of DeadFn is a subclass of organism
s__domainSubclass(s__FarmOfProductFn__m,n__1,s__Organism)

Food.kif 1098-1098 The number 1 argument of FarmOfProductFn is a subclass of organism
s__domainSubclass(s__FoodForFn__m,n__1,s__Organism)

Merge.kif 14161-14161 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15548-15553
( ! [V__BODY,V__ORG] :
   (((s__instance(V__BODY,s__ReproductiveBody) &
         s__part(V__BODY,V__ORG)
       &
       s__instance(V__ORG,s__Organism))
     =>
     (s__attribute(V__ORG,s__Female)))
   )
)

Merge.kif 17292-17297
No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9806
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1373
No TPTP formula. May not be expressible in strict first order. Food.kif 542-556
No TPTP formula. May not be expressible in strict first order. Merge.kif 17264-17268
( ! [V__REM,V__ORG,V__DEATH,V__ORGTYPE] :
   (((s__instance(V__ORG,s__Agent) &
         s__instance(V__ORG,s__Class) &
         s__subclass(V__ORGTYPE,s__Organism) &
         s__instance(V__ORGTYPE,s__Class))
       =>
       (((s__instance(V__REM,s__OrganicObject) &
             s__instance(V__DEATH,s__Death) &
             s__experiencer(V__DEATH,V__ORG)
           &
           s__instance(V__ORG,V__ORGTYPE)
         &
         s__subclass(V__ORG,s__Organism) &
         s__result(V__DEATH,V__REM))
     =>
     (s__instance(V__REM,s__DeadFn(V__ORGTYPE))))))
)
)

Mid-level-ontology.kif 122-130
( ! [V__REM,V__ORG,V__DEATH] :
   (((s__instance(V__REM,s__OrganicObject) &
         s__instance(V__DEATH,s__Death) &
         s__instance(V__ORG,s__Organism) &
         s__experiencer(V__DEATH,V__ORG)
       &
       s__result(V__DEATH,V__REM))
   =>
   (s__instance(V__REM,s__OrganismRemains)))
)
)

Mid-level-ontology.kif 56-63
( ! [V__ANIMAL,V__STRUCTURE] :
   (((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure) &
         s__instance(V__ANIMAL,s__Organism) &
         s__part(V__STRUCTURE,V__ANIMAL))
     =>
     (s__instance(V__ANIMAL,s__Animal)))
   )
)

Merge.kif 14303-14308
( ! [V__PLANT,V__STRUCTURE] :
   (((s__instance(V__STRUCTURE,s__PlantAnatomicalStructure) &
         s__instance(V__PLANT,s__Organism) &
         s__part(V__STRUCTURE,V__PLANT))
     =>
     (s__instance(V__PLANT,s__Plant)))
   )
)

Merge.kif 14314-14319
( ! [V__SUBSTANCE,V__ANIMAL] :
   (((s__instance(V__SUBSTANCE,s__AnimalSubstance) &
         s__instance(V__ANIMAL,s__Organism) &
         s__part(V__SUBSTANCE,V__ANIMAL))
     =>
     (s__instance(V__ANIMAL,s__Animal)))
   )
)

Merge.kif 14119-14124
( ! [V__PLANT,V__SUBSTANCE] :
   (((s__instance(V__SUBSTANCE,s__PlantSubstance) &
         s__instance(V__PLANT,s__Organism) &
         s__part(V__SUBSTANCE,V__PLANT))
     =>
     (s__instance(V__PLANT,s__Plant)))
   )
)

Merge.kif 14130-14135
( ! [V__CLASS,V__CHILD,V__PARENT] :
   (((s__instance(V__CLASS,s__Class) &
         s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__subclass(V__CLASS,s__Organism) &
           s__instance(V__PARENT,V__CLASS))
       =>
       (s__instance(V__CHILD,V__CLASS)))))
)
)

Merge.kif 15603-15608
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organism) =>
       (( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__AnimacyAttribute) &
               s__attribute(V__ORG,V__ATTR))))))
   )
)

Merge.kif 17276-17281
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organism) =>
       (( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__DevelopmentalAttribute) &
               s__attribute(V__ORG,V__ATTR))))))
   )
)

Merge.kif 17333-17338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 94-97
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Organism) =>
       (( ? [V__BIRTH] :
           ((s__instance(V__BIRTH,s__Birth) &
               s__experiencer(V__BIRTH,V__ORGANISM))))))
   )
)

Merge.kif 13676-13681
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Organism) =>
       (( ? [V__PARENT] :
           ((s__instance(V__PARENT,s__Organism) &
               s__parent(V__ORGANISM,V__PARENT))))))
   )
)

Merge.kif 15620-15623

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


( ! [V__INJ] :
   (((s__instance(V__INJ,s__Injuring) =>
         (s__instance(V__INJ,s__Damaging) &
           ( ? [V__ORGANISM] :
             ((s__instance(V__ORGANISM,s__Organism) &
                 s__patient(V__INJ,V__ORGANISM))))))
     &
     ((s__instance(V__INJ,s__Damaging) &
         ( ? [V__ORGANISM] :
           ((s__instance(V__ORGANISM,s__Organism) &
               s__patient(V__INJ,V__ORGANISM)))))
     =>
     s__instance(V__INJ,s__Injuring)))
)
)

Merge.kif 10005-10012 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
( ! [V__M1,V__M2,V__NUM1,V__NUM2,V__Y] :
   (((s__instance(V__M1,s__MassMeasure) &
         s__instance(V__M2,s__MassMeasure) &
         s__instance(V__NUM1,s__RealNumber) &
         s__instance(V__NUM2,s__RealNumber) &
         s__instance(V__Y,s__RealNumber))
       =>
       ((((s__MeasureFn(V__Y,s__McgPerKg) = s__PerFn(V__M1,V__M2))
           &
           (V__M1 = s__MeasureFn(V__NUM1,s__MicroFn(s__Gram)))
         &
         (V__M2 = s__MeasureFn(V__NUM2,s__KiloFn(s__Gram))))
     =>
     (( ? [V__I, V__B, V__A] :
         ((s__instance(V__I,s__Ingesting) &
             s__instance(V__B,s__BiologicallyActiveSubstance) &
             s__instance(V__A,s__Organism) &
             s__patient(V__I,V__B)
           &
           s__agent(V__I,V__A)
         &
         s__weight(V__B,V__M1)
       &
       s__weight(V__A,V__M2))))))))
)
)

WMD.kif 818-835
( ! [V__F,V__ACT] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__ACT,s__Ingesting) &
             s__resource(V__ACT,V__F))
         =>
         ((s__instance(V__F,s__FoodForFn(s__Organism))
           |
           s__instance(V__F,s__Medicine))))))
)
)

Merge.kif 9820-9826
( ! [V__OBJ,V__ATTACK] :
   (((s__instance(V__ATTACK,s__BiochemicalAttack) &
         s__patient(V__ATTACK,V__OBJ))
     =>
     (s__instance(V__OBJ,s__Organism)))
   )
)

WMD.kif 64-68
( ! [V__OBJ,V__BACTERIUM] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__BACTERIUM,s__Bacterium) &
             s__inhabits(V__BACTERIUM,V__OBJ))
         =>
         (s__instance(V__OBJ,s__Organism)))))
   )
)

Merge.kif 13787-13791
( ! [V__CHEW,V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       (((s__instance(V__CHEW,s__Chewing) &
             s__resource(V__CHEW,V__FOOD))
         =>
         (s__instance(V__FOOD,s__FoodForFn(s__Organism))))))
)
)

Mid-level-ontology.kif 10421-10425
( ! [V__OBJ,V__FUNGUS] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__FUNGUS,s__Fungus) &
             s__inhabits(V__FUNGUS,V__OBJ))
         =>
         (s__instance(V__OBJ,s__Organism)))))
   )
)

Merge.kif 13746-13750
( ! [V__H,V__I] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__I,s__Infecting) &
             s__experiencer(V__I,V__H))
         =>
         (( ? [V__T, V__R, V__O] :
             ((s__instance(V__T,s__Translocation) &
                 s__moves(V__T,V__O)
               &
               s__instance(V__O,s__Organism) &
               s__instance(V__R,s__Replication) &
               s__experiencer(V__R,V__O)
             &
             s__subProcess(V__T,V__I)
           &
           s__subProcess(V__R,V__I))))))))
)
)

Mid-level-ontology.kif 5490-5502
( ! [V__AGENT,V__KILL,V__PATIENT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__KILL,s__Killing) &
             s__agent(V__KILL,V__AGENT)
           &
           s__patient(V__KILL,V__PATIENT))
       =>
       ((s__instance(V__AGENT,s__Organism) &
           s__instance(V__PATIENT,s__Organism))))))
)
)

Merge.kif 11682-11689
( ! [V__ORG,V__PROC] :
   ((s__instance(V__ORG,s__Agent) =>
       (((s__instance(V__PROC,s__BiologicalProcess) &
             s__experiencer(V__PROC,V__ORG))
         =>
         (s__instance(V__ORG,s__Organism)))))
   )
)

Merge.kif 9721-9725
( ! [V__BIO,V__PROC] :
   ((s__instance(V__BIO,s__Object) =>
       (((s__instance(V__PROC,s__TherapeuticProcess) &
             s__patient(V__PROC,V__BIO))
         =>
         ((s__instance(V__BIO,s__Organism) |
             ( ? [V__ORG] :
               ((s__instance(V__ORG,s__Organism) &
                   s__part(V__BIO,V__ORG)))))))))
)
)

Merge.kif 11630-11639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 43-54
( ! [V__VIRUS,V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__VIRUS,s__Virus) &
             s__inhabits(V__VIRUS,V__OBJ))
         =>
         (s__instance(V__OBJ,s__Organism)))))
   )
)

Merge.kif 13799-13803
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__RawAttribute) =>
           (s__instance(V__FOOD,s__FoodForFn(s__Organism))))))
   )
)

Food.kif 34-36
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__ChemicalAgent) =>
       (~(( ? [V__ORGANISM, V__PROCESS, V__SUBSTANCE] :
             ((s__instance(V__SUBSTANCE,s__Object) &
                 (s__instance(V__ORGANISM,s__Organism) &
                   s__instance(V__PROCESS,s__BiologicalProcess) &
                   s__instrument(V__PROCESS,V__ORGANISM)
                 &
                 s__result(V__PROCESS,V__SUBSTANCE)
               &
               s__copy(V__SUBSTANCE,V__AGENT))))))))
)
)

WMD.kif 459-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 14224-14230
No TPTP formula. May not be expressible in strict first order. WMD.kif 70-78
No TPTP formula. May not be expressible in strict first order. Merge.kif 17424-17430
( ! [V__COOK] :
   ((s__instance(V__COOK,s__Cooking) =>
       (( ? [V__FOOD] :
           ((s__instance(V__FOOD,s__FoodForFn(s__Organism))
             &
             s__result(V__COOK,V__FOOD))))))
)
)

Merge.kif 12215-12220
( ! [V__COVER] :
   ((s__instance(V__COVER,s__BodyCovering) =>
       (( ? [V__BODY] :
           ((s__superficialPart(V__COVER,V__BODY)
             &
             (s__instance(V__BODY,s__Organism) |
               s__instance(V__BODY,s__BodyPart)))))))
   )
)

Merge.kif 14379-14386
( ! [V__MOTION] :
   ((s__instance(V__MOTION,s__BodyMotion) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__Organism) &
               s__agent(V__MOTION,V__AGENT))))))
   )
)

Merge.kif 10643-10648
No TPTP formula. May not be expressible in strict first order. Merge.kif 14258-14264
( ! [V__POISON] :
   ((s__instance(V__POISON,s__Poisoning) =>
       (( ? [V__THING] :
           ((s__patient(V__POISON,V__THING)
             &
             (s__instance(V__THING,s__Organism) |
               s__instance(V__THING,s__AnatomicalStructure)))))))
   )
)

Merge.kif 10021-10028
( ! [V__PROC] :
   ((s__instance(V__PROC,s__BiologicalProcess) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__Organism) &
               s__eventLocated(V__PROC,V__OBJ))))))
   )
)

Merge.kif 9714-9719

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