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

VerbNet: nonverbal_expression-40.2|sigh, nonverbal_expression-40.2|sigh,


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


s__disjoint(s__Organism,s__Artifact)

Merge.kif 13294-13294 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 13296-13297
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 7485-7485
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg"')

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

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

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

Merge.kif 13295-13295 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 13293-13293 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 13292-13292 Organism is a subclass of organic object

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


s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)

Merge.kif 13286-13286 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 13384-13384 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 13363-13363 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 13389-13389 Microorganism 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 13337-13337 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 15152-15152 The number 1 argument of ancestor is an instance of organism
s__domain(s__ancestor__m,n__2,s__Organism)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Merge.kif 15253-15253 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 234-234 The number 1 argument of DeadFn is a subclass of organism
s__domainSubclass(s__FarmOfProductFn__m,n__1,s__Organism)

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

Merge.kif 13784-13784 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 15127-15132
( ! [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 16771-16776
No TPTP formula. May not be expressible in strict first order. Merge.kif 9602-9617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 207-216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 195-204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1792-1807
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 16743-16747
( ! [V__REM,V__ORG,V__DEATH,V__ORGTYPE] :
   ((s__instance(V__ORG,s__Agent) &
       s__instance(V__ORG,s__SetOrClass) &
       s__subclass(V__ORGTYPE,s__Organism) &
       s__instance(V__ORGTYPE,s__SetOrClass))
     =>
     (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 250-258
( ! [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 177-184
( ! [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 13900-13905
( ! [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 13911-13916
( ! [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 13742-13747
( ! [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 13753-13758
( ! [V__CLASS,V__CHILD,V__PARENT] :
   ((s__instance(V__CLASS,s__SetOrClass) &
       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 15181-15186
( ! [V__ORG] :
   (s__instance(V__ORG,s__Organism) =>
     ( ? [V__ATTR] :
       ((s__instance(V__ATTR,s__AnimacyAttribute) &
           s__attribute(V__ORG,V__ATTR))))
   )
)

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

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

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

Merge.kif 15198-15201

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 9795-9802 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__FOOD,V__ACT] :
   (s__instance(V__FOOD,s__Object) =>
     (s__instance(V__ACT,s__Ingesting) &
       s__resource(V__ACT,V__FOOD))
   =>
   s__instance(V__FOOD,s__FoodForFn(s__Organism))
)
)

Merge.kif 9631-9635
( ! [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 13410-13414
( ! [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 9778-9782
( ! [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 13369-13373
( ! [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 11399-11406
( ! [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 9532-9536
( ! [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 11347-11356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-170
( ! [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 13422-13426
( ! [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 13847-13853
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 16895-16901
( ! [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 11891-11896
( ! [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 13976-13983
( ! [V__MOTION] :
   (s__instance(V__MOTION,s__BodyMotion) =>
     ( ? [V__AGENT] :
       ((s__instance(V__AGENT,s__Organism) &
           s__agent(V__MOTION,V__AGENT))))
   )
)

Merge.kif 10357-10362
No TPTP formula. May not be expressible in strict first order. Merge.kif 13881-13887
( ! [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 9811-9818
( ! [V__PROC] :
   (s__instance(V__PROC,s__BiologicalProcess) =>
     ( ? [V__OBJ] :
       ((s__instance(V__OBJ,s__Organism) &
           s__eventLocated(V__PROC,V__OBJ))))
   )
)

Merge.kif 9525-9530
( ! [V__PROC] :
   (s__instance(V__PROC,s__Excretion) =>
     ( ? [V__ORG, V__WASTE, V__PART] :
       ((s__instance(V__ORG,s__Organism) &
           s__agent(V__PROC,V__ORG)
         &
         s__patient(V__PROC,V__WASTE)
       &
       s__instance(V__WASTE,s__Excrement) &
       s__instance(V__PART,s__BodyPart) &
       s__instrument(V__PROC,V__PART))))
)
)

Mid-level-ontology.kif 2572-2581
( ! [V__SPECIES] :
   (s__instance(V__SPECIES,s__BiologicalSpecies) =>
     s__subclass(V__SPECIES,s__Organism) )
   )

Mid-level-ontology.kif 8884-8886

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