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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organism
Organism
more pictures...
كَائِن حَيّ, Bittacidae, Organismo, 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...

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


s__disjoint(s__Organism,s__Artifact)

Merge.kif 14336-14336
s__documentation(s__Organism,s__ChineseLanguage,'这通常是指有生命的个体,包括所有的 PlantAnimal。')

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

Merge.kif 14338-14339
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 14337-14337
s__instance(s__Agent,s__SetOrClass)

Merge.kif 14335-14335
s__subclass(s__Organism,s__OrganicObject)

Merge.kif 14334-14334

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


s__partition_3(s__OrganicObject,s__Organism,s__AnatomicalStructure)

Merge.kif 14325-14325
s__instance(s__Organism,s__SetOrClass)

Merge.kif 14446-14446
s__instance(s__Fungus,s__SetOrClass)

Merge.kif 14419-14419
s__subclass(s__GeneticallyEngineeredOrganism,s__Organism)

WMD.kif 234-234
s__instance(s__Microorganism,s__SetOrClass)

Merge.kif 14453-14453
s__instance(s__Organism,s__SetOrClass)

Merge.kif 14386-14386
s__instance(s__Organism,s__SetOrClass)

WMD.kif 187-187
s__termFormat(s__ChineseLanguage,s__Organism,'生物')

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

english_format.kif 651-651
s__termFormat(s__FrenchLanguage,s__Organism,'organisme')

french_format.kif 641-641
s__termFormat(s__Hindi,s__Organism,'jIvadhaarI padaartha')

terms-hindi.txt 172-172
s__termFormat(s__ItalianLanguage,s__Organism,'Organismo')

terms-it.txt 173-173
s__termFormat(s__PortugueseLanguage,s__Organism,'Organismo')

portuguese_format.kif 593-593
s__termFormat(s__ar__m,s__Organism,'كَائِن حَيّ')

arabic_format.kif 377-377
s__termFormat(s__cz__m,s__Organism,'organism')

terms-cz.txt 209-209
s__termFormat(s__tg__m,s__Organism,'kinapal')

terms-tg.txt 176-176

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


s__domain(s__ancestor__m,1,s__Organism)

Merge.kif 16520-16520
s__domain(s__ancestor__m,2,s__Organism)

Merge.kif 16521-16521
s__domain(s__daughter__m,1,s__Organism)

Merge.kif 16615-16615
s__domain(s__daughter__m,2,s__Organism)

Merge.kif 16616-16616
s__domain(s__familyRelation__m,1,s__Organism)

Merge.kif 16500-16500
s__domain(s__familyRelation__m,2,s__Organism)

Merge.kif 16501-16501
s__domain(s__father__m,1,s__Organism)

Merge.kif 16601-16601
s__domain(s__father__m,2,s__Organism)

Merge.kif 16602-16602
s__domain(s__inhabits__m,1,s__Organism)

Merge.kif 14351-14351
s__domain(s__mother__m,1,s__Organism)

Merge.kif 16583-16583
s__domain(s__mother__m,2,s__Organism)

Merge.kif 16584-16584
s__domain(s__parasite__m,1,s__Organism)

Mid-level-ontology.kif 6095-6095
s__domain(s__parasite__m,2,s__Organism)

Mid-level-ontology.kif 6096-6096
s__domain(s__parent__m,1,s__Organism)

Merge.kif 16538-16538
s__domain(s__parent__m,2,s__Organism)

Merge.kif 16539-16539
s__domain(s__relative__m,1,s__Organism)

Merge.kif 16475-16475
s__domain(s__relative__m,2,s__Organism)

Merge.kif 16476-16476
s__domain(s__sibling__m,1,s__Organism)

Merge.kif 16646-16646
s__domain(s__sibling__m,2,s__Organism)

Merge.kif 16647-16647
s__domain(s__son__m,1,s__Organism)

Merge.kif 16629-16629
s__domain(s__son__m,2,s__Organism)

Merge.kif 16630-16630
s__domainSubclass(s__AgentOfOrganismFn__m,1,s__Organism)

WMD.kif 87-87
s__domainSubclass(s__DeadFn__m,1,s__Organism)

Mid-level-ontology.kif 235-235
s__domainSubclass(s__FarmOfProductFn__m,1,s__Organism)

Food.kif 1135-1135
s__domainSubclass(s__FoodForFn__m,1,s__Organism)

Merge.kif 14936-14936

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 16491-16496
( ! [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 18474-18479
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
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 18443-18447
( ! [V__REM,V__DEATH,V__ORG,V__ORGTYPE] :
   ((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 251-259
( ! [V__REM,V__DEATH,V__ORG] :
   ((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 178-185
( ! [V__STRUCTURE,V__ANIMAL] :
   ((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 15068-15073
( ! [V__STRUCTURE,V__PLANT] :
   ((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 15081-15086
( ! [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 14887-14892
( ! [V__SUBSTANCE,V__PLANT] :
   ((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 14899-14904
( ! [V__CHILD,V__PARENT,V__CLASS] :
   ((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 16554-16559
( ! [V__ORG] :
   (s__instance(V__ORG,s__Organism) =>
     (? [V__ATTR] :
       (s__instance(V__ATTR,s__AnimacyAttribute) &
         s__attribute(V__ORG,V__ATTR))))
)

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

Merge.kif 18521-18526
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) =>
     (? [V__BIRTH] :
       (s__instance(V__BIRTH,s__Birth) &
         s__experiencer(V__BIRTH,V__ORGANISM))))
)

Merge.kif 14342-14347
( ! [V__ORGANISM] :
   (s__instance(V__ORGANISM,s__Organism) =>
     (? [V__PARENT] :
       s__parent(V__ORGANISM,V__PARENT)))
)

Merge.kif 16571-16574

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

Merge.kif 10423-10430
( ! [V__ACT,V__FOOD] :
   ((s__instance(V__ACT,s__Ingesting) &
       s__resource(V__ACT,V__FOOD))
   =>
   s__instance(V__FOOD,s__FoodForFn(s__Organism)))
)

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

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

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

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

Merge.kif 14427-14431
( ! [V__KILL,V__AGENT,V__PATIENT] :
   ((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 12178-12185
( ! [V__PROC,V__ORG] :
   ((s__instance(V__PROC,s__BiologicalProcess) &
       s__experiencer(V__PROC,V__ORG))
   =>
   s__instance(V__ORG,s__Organism))
)

Merge.kif 10148-10152
( ! [V__PROC,V__BIO] :
   ((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 12118-12127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-171
( ! [V__VIRUS,V__OBJ] :
   ((s__instance(V__VIRUS,s__Virus) &
       s__inhabits(V__VIRUS,V__OBJ))
   =>
   s__instance(V__OBJ,s__Organism))
)

Merge.kif 14491-14495
( ! [V__FOOD] :
   (s__attribute(V__FOOD,s__RawAttribute) =>
     s__instance(V__FOOD,s__FoodForFn(s__Organism)))
)

Mid-level-ontology.kif 19210-19212
( ! [V__AGENT] :
   (s__instance(V__AGENT,s__ChemicalAgent) =>
     (~ (? [V__ORGANISM,V__PROCESS,V__SUBSTANCE] :
         (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 15008-15014
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 18613-18619
( ! [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 12732-12737
( ! [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 15160-15167
( ! [V__ITEM] :
   (s__instance(V__ITEM,s__FoodArtifact) =>
     (s__instance(V__ITEM,s__FoodForFn(s__Organism))
     |
     s__instance(V__ITEM,s__PackagedFoodArtifact)))
)

Society.kif 1319-1323
( ! [V__MOTION] :
   (s__instance(V__MOTION,s__BodyMotion) =>
     (? [V__AGENT] :
       (s__instance(V__AGENT,s__Organism) &
         s__agent(V__MOTION,V__AGENT))))
)

Merge.kif 11025-11030
No TPTP formula. May not be expressible in strict first order. Merge.kif 15047-15053
( ! [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 10440-10447
( ! [V__PROC] :
   (s__instance(V__PROC,s__BiologicalProcess) =>
     (? [V__OBJ] :
       (s__instance(V__OBJ,s__Organism) &
         s__eventLocated(V__PROC,V__OBJ))))
)

Merge.kif 10141-10146
( ! [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 2577-2586
( ! [V__SPECIES] :
   (s__instance(V__SPECIES,s__BiologicalSpecies) =>
     s__subclass(V__SPECIES,s__Organism))
   )

Mid-level-ontology.kif 8881-8883

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