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 14394-14394 Organism is disjoint from artifact
s__documentation(s__Organism,s__ChineseLanguage,'这通常是指有生命的个体,包括所有的 PlantAnimal。')

Merge.kif 14398-14398
s__documentation(s__Organism,s__EnglishLanguage,'Generally, a living individual, including all Plants and Animals.')

Merge.kif 14396-14397
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 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg')

pictureList.kif 7485-7485 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg')

pictureList.kif 7486-7486 "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg')

pictureList.kif 7487-7487 "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg')

pictureList.kif 7489-7489 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg" is a URL depicting organism
s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)

Merge.kif 14395-14395 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 14393-14393 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 14392-14392 Organism is a subclass of organic object

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


s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)

Merge.kif 14383-14383 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 14504-14504 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 14477-14477 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 14511-14511 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 14444-14444 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 "生物" is the printable form of organism in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Organism,'organism')

english_format.kif 958-958 "organism" is the printable form of organism in english language
s__termFormat(s__JapaneseLanguage,s__Organism,'物')

english_format.kif 959-959 "物" is the printable form of organism in japanese language

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


s__domain(s__ancestor__m,1,s__Organism)

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

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

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

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

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

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

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

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

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

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

Merge.kif 16636-16636 The number 2 argument of mother is an instance of organism
s__domain(s__parasite__m,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,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,1,s__Organism)

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

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

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

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

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

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

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

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

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

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

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

Merge.kif 14994-14994 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 16543-16548
( ! [V__BODY,V__ORG] :
   ((s__instance(V__BODY,s__ReproductiveBody)s__and__ms__part(V__BODY,V__ORG)
    s__and__ms__instance(V__ORG,s__Organism))
  s__=>s__attribute(V__ORG,s__Female))
)

Merge.kif 18526-18531
No TPTP formula. May not be expressible in strict first order. Merge.kif 10280-10295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1797-1812
No TPTP formula. May not be expressible in strict first order. Food.kif 587-601
No TPTP formula. May not be expressible in strict first order. Merge.kif 18495-18499
( ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] :
   ((s__instance(V__ORG,s__Agent)s__and__ms__instance(V__ORG,s__SetOrClass)s__and__ms__subclass(V__ORGTYPE,s__Organism)s__and__ms__instance(V__ORGTYPE,s__SetOrClass))
    s__=>((s__instance(V__REM,s__OrganicObject)s__and__ms__instance(V__DEATH,s__Death)s__and__ms__experiencer(V__DEATH,V__ORG)
      s__and__ms__instance(V__ORG,V__ORGTYPE)
    s__and__ms__subclass(V__ORG,s__Organism)s__and__ms__result(V__DEATH,V__REM))
s__=>s__instance(V__REM,s__DeadFn(V__ORGTYPE))))
)

Mid-level-ontology.kif 251-259
( ! [V__REM,V__DEATH,V__ORG] :
   ((s__instance(V__REM,s__OrganicObject)s__and__ms__instance(V__DEATH,s__Death)s__and__ms__instance(V__ORG,s__Organism)s__and__ms__experiencer(V__DEATH,V__ORG)
    s__and__ms__result(V__DEATH,V__REM))
s__=>s__instance(V__REM,s__OrganismRemains))
)

Mid-level-ontology.kif 178-185
( ! [V__STRUCTURE,V__ANIMAL] :
   ((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure)s__and__ms__instance(V__ANIMAL,s__Organism)s__and__ms__part(V__STRUCTURE,V__ANIMAL))
  s__=>s__instance(V__ANIMAL,s__Animal))
)

Merge.kif 15126-15131
( ! [V__STRUCTURE,V__PLANT] :
   ((s__instance(V__STRUCTURE,s__PlantAnatomicalStructure)s__and__ms__instance(V__PLANT,s__Organism)s__and__ms__part(V__STRUCTURE,V__PLANT))
  s__=>s__instance(V__PLANT,s__Plant))
)

Merge.kif 15139-15144
( ! [V__SUBSTANCE,V__ANIMAL] :
   ((s__instance(V__SUBSTANCE,s__AnimalSubstance)s__and__ms__instance(V__ANIMAL,s__Organism)s__and__ms__part(V__SUBSTANCE,V__ANIMAL))
  s__=>s__instance(V__ANIMAL,s__Animal))
)

Merge.kif 14945-14950
( ! [V__SUBSTANCE,V__PLANT] :
   ((s__instance(V__SUBSTANCE,s__PlantSubstance)s__and__ms__instance(V__PLANT,s__Organism)s__and__ms__part(V__SUBSTANCE,V__PLANT))
  s__=>s__instance(V__PLANT,s__Plant))
)

Merge.kif 14957-14962
( ! [V__CLASS,V__CHILD,V__PARENT] :
   ((s__instance(V__CLASS,s__SetOrClass)s__and__ms__instance(V__CHILD,s__Organism)s__and__ms__instance(V__PARENT,s__Organism))
    s__=>((s__parent(V__CHILD,V__PARENT)
      s__and__ms__subclass(V__CLASS,s__Organism)s__and__ms__instance(V__PARENT,V__CLASS))
  s__=>s__instance(V__CHILD,V__CLASS)))
)

Merge.kif 16606-16611
( ! [V__ORG] :
   (s__instance(V__ORG,s__Organism)s__=>(s__exists__m[V__ATTR] :
       (s__instance(V__ATTR,s__AnimacyAttribute)s__and__ms__attribute(V__ORG,V__ATTR))))
)

Merge.kif 18508-18513
( ! [V__ORG] :
   (s__instance(V__ORG,s__Organism)s__=>(s__exists__m[V__ATTR] :
       (s__instance(V__ATTR,s__DevelopmentalAttribute)s__and__ms__attribute(V__ORG,V__ATTR))))
)

Merge.kif 18573-18578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 220-223
( ! [V__ORGANISM] :
   (s__instance(V__ORGANISM,s__Organism)s__=>(s__exists__m[V__BIRTH] :
       (s__instance(V__BIRTH,s__Birth)s__and__ms__experiencer(V__BIRTH,V__ORGANISM))))
)

Merge.kif 14400-14405
( ! [V__ORGANISM] :
   (s__instance(V__ORGANISM,s__Organism)s__=>(s__exists__m[V__PARENT] :
       (s__instance(V__PARENT,s__Organism)s__and__ms__parent(V__ORGANISM,V__PARENT))))
)

Merge.kif 16623-16626

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


( ! [V__INJ] :
   (s__instance(V__INJ,s__Injuring)s__<=>
    (s__instance(V__INJ,s__Damaging)s__and__m(s__exists__m[V__ORGANISM] :
       (s__instance(V__ORGANISM,s__Organism)s__and__ms__patient(V__INJ,V__ORGANISM)))))
)

Merge.kif 10481-10488 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__=>((s__instance(V__ACT,s__Ingesting)s__and__ms__resource(V__ACT,V__FOOD))
    s__=>s__instance(V__FOOD,s__FoodForFn(s__Organism))))
)

Merge.kif 10310-10314
( ! [V__ATTACK,V__OBJ] :
   ((s__instance(V__ATTACK,s__BiochemicalAttack)s__and__ms__patient(V__ATTACK,V__OBJ))
  s__=>s__instance(V__OBJ,s__Organism))
)

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

Merge.kif 14535-14539
( ! [V__FOOD,V__CHEW] :
   (s__instance(V__FOOD,s__Object)s__=>((s__instance(V__CHEW,s__Chewing)s__and__ms__resource(V__CHEW,V__FOOD))
    s__=>s__instance(V__FOOD,s__FoodForFn(s__Organism))))
)

Mid-level-ontology.kif 9775-9779
( ! [V__OBJ,V__FUNGUS] :
   (s__instance(V__OBJ,s__Object)s__=>((s__instance(V__FUNGUS,s__Fungus)s__and__ms__inhabits(V__FUNGUS,V__OBJ))
    s__=>s__instance(V__OBJ,s__Organism)))
)

Merge.kif 14485-14489
( ! [V__AGENT,V__KILL,V__PATIENT] :
   (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__KILL,s__Killing)s__and__ms__agent(V__KILL,V__AGENT)
      s__and__ms__patient(V__KILL,V__PATIENT))
  s__=>(s__instance(V__AGENT,s__Organism)s__and__ms__instance(V__PATIENT,s__Organism))))
)

Merge.kif 12236-12243
( ! [V__ORG,V__PROC] :
   (s__instance(V__ORG,s__Agent)s__=>((s__instance(V__PROC,s__BiologicalProcess)s__and__ms__experiencer(V__PROC,V__ORG))
    s__=>s__instance(V__ORG,s__Organism)))
)

Merge.kif 10206-10210
( ! [V__BIO,V__PROC] :
   (s__instance(V__BIO,s__Object)s__=>((s__instance(V__PROC,s__TherapeuticProcess)s__and__ms__patient(V__PROC,V__BIO))
    s__=>(s__instance(V__BIO,s__Organism)s__or__m(s__exists__m[V__ORG] :
       (s__instance(V__ORG,s__Organism)s__and__ms__part(V__BIO,V__ORG))))))
)

Merge.kif 12176-12185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-171
( ! [V__OBJ,V__VIRUS] :
   (s__instance(V__OBJ,s__Object)s__=>((s__instance(V__VIRUS,s__Virus)s__and__ms__inhabits(V__VIRUS,V__OBJ))
    s__=>s__instance(V__OBJ,s__Organism)))
)

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

Mid-level-ontology.kif 19268-19270
( ! [V__AGENT] :
   (s__instance(V__AGENT,s__ChemicalAgent)s__=>(s__not__m(s__exists__m[V__ORGANISM,V__PROCESS,V__SUBSTANCE] :
       (s__instance(V__SUBSTANCE,s__Object)s__and__m(s__instance(V__ORGANISM,s__Organism)s__and__ms__instance(V__PROCESS,s__BiologicalProcess)s__and__ms__instrument(V__PROCESS,V__ORGANISM)
      s__and__ms__result(V__PROCESS,V__SUBSTANCE)
    s__and__ms__copy(V__SUBSTANCE,V__AGENT))))))
)

WMD.kif 459-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 15066-15072
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 18665-18671
( ! [V__COOK] :
   (s__instance(V__COOK,s__Cooking)s__=>(s__exists__m[V__FOOD] :
       (s__instance(V__FOOD,s__FoodForFn(s__Organism))
      s__and__ms__result(V__COOK,V__FOOD))))
)

Merge.kif 12790-12795
( ! [V__COVER] :
   (s__instance(V__COVER,s__BodyCovering)s__=>(s__exists__m[V__BODY] :
       (s__superficialPart(V__COVER,V__BODY)
      s__and__m(s__instance(V__BODY,s__Organism)s__or__ms__instance(V__BODY,s__BodyPart)))))
)

Merge.kif 15218-15225
( ! [V__MOTION] :
   (s__instance(V__MOTION,s__BodyMotion)s__=>(s__exists__m[V__AGENT] :
       (s__instance(V__AGENT,s__Organism)s__and__ms__agent(V__MOTION,V__AGENT))))
)

Merge.kif 11083-11088
No TPTP formula. May not be expressible in strict first order. Merge.kif 15105-15111
( ! [V__POISON] :
   (s__instance(V__POISON,s__Poisoning)s__=>(s__exists__m[V__THING] :
       (s__patient(V__POISON,V__THING)
      s__and__m(s__instance(V__THING,s__Organism)s__or__ms__instance(V__THING,s__AnatomicalStructure)))))
)

Merge.kif 10498-10505
( ! [V__PROC] :
   (s__instance(V__PROC,s__BiologicalProcess)s__=>(s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__Organism)s__and__ms__eventLocated(V__PROC,V__OBJ))))
)

Merge.kif 10199-10204
( ! [V__PROC] :
   (s__instance(V__PROC,s__Excretion)s__=>(s__exists__m[V__ORG,V__WASTE,V__PART] :
       (s__instance(V__ORG,s__Organism)s__and__ms__agent(V__PROC,V__ORG)
      s__and__ms__patient(V__PROC,V__WASTE)
    s__and__ms__instance(V__WASTE,s__Excrement)s__and__ms__instance(V__PART,s__BodyPart)s__and__ms__instrument(V__PROC,V__PART))))
)

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

Mid-level-ontology.kif 8881-8883
( ! [V__STUFF] :
   (s__instance(V__STUFF,s__Tissue)s__=>(s__exists__m[V__ORGANISM] :
       (s__instance(V__ORGANISM,s__Organism)s__and__ms__part(V__STUFF,V__ORGANISM))))
)

Merge.kif 15294-15299

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