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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14257-14257 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14261-14261
No TPTP formula. May not be expressible in strict first order. Merge.kif 14259-14260
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7485-7485 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7486-7486 "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7487-7487 "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7489-7489 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14258-14258 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14256-14256 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14255-14255 Organism is a subclass of organic object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14246-14246 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14367-14367 Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14340-14340 Fungus is a subclass of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 234-234 Genetically engineered organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14374-14374 Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14307-14307 Plant is a subclass of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 187-187 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 964-964 "生物" is the printable form of organism in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 651-651 "organism" is the printable form of organism in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 641-641 "organisme" is the printable form of organism in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 172-172 "jIvadhaarI padaartha" is the printable form of organism in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 173-173 "Organismo" is the printable form of organism in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 593-593 "Organismo" is the printable form of organism in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 377-377 "كَائِن حَيّ" is the printable form of organism in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 209-209 "organism" is the printable form of organism in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 176-176 "kinapal" is the printable form of organism in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16442-16442 The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16443-16443 The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16529-16529 The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16530-16530 The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16422-16422 The number 1 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16423-16423 The number 2 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16515-16515 The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16516-16516 The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14272-14272 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16501-16501 The number 1 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16502-16502 The number 2 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6091-6091 The number 1 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6092-6092 The number 2 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16460-16460 The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16461-16461 The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16397-16397 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16398-16398 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16560-16560 The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16561-16561 The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16543-16543 The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16544-16544 The number 2 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 87-87 The number 1 argument of AgentOfOrganismFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 235-235 The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Food.kif 1135-1135 The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14857-14857 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 16413-16418
No TPTP formula. May not be expressible in strict first order. Merge.kif 18388-18393
No TPTP formula. May not be expressible in strict first order. Merge.kif 10142-10157
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 18357-18361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 251-259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 178-185
No TPTP formula. May not be expressible in strict first order. Merge.kif 14989-14994
No TPTP formula. May not be expressible in strict first order. Merge.kif 15002-15007
No TPTP formula. May not be expressible in strict first order. Merge.kif 14808-14813
No TPTP formula. May not be expressible in strict first order. Merge.kif 14820-14825
No TPTP formula. May not be expressible in strict first order. Merge.kif 16476-16481
No TPTP formula. May not be expressible in strict first order. Merge.kif 18370-18375
No TPTP formula. May not be expressible in strict first order. Merge.kif 18435-18440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 220-223
No TPTP formula. May not be expressible in strict first order. Merge.kif 14263-14268
No TPTP formula. May not be expressible in strict first order. Merge.kif 16493-16496

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10343-10350 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10176
No TPTP formula. May not be expressible in strict first order. WMD.kif 64-68
No TPTP formula. May not be expressible in strict first order. Merge.kif 14398-14402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9763-9767
No TPTP formula. May not be expressible in strict first order. Merge.kif 14348-14352
No TPTP formula. May not be expressible in strict first order. Merge.kif 12099-12106
No TPTP formula. May not be expressible in strict first order. Merge.kif 10068-10072
No TPTP formula. May not be expressible in strict first order. Merge.kif 12039-12048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-171
No TPTP formula. May not be expressible in strict first order. Merge.kif 14412-14416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18849-18851
No TPTP formula. May not be expressible in strict first order. WMD.kif 459-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 14929-14935
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 18527-18533
No TPTP formula. May not be expressible in strict first order. Merge.kif 12653-12658
No TPTP formula. May not be expressible in strict first order. Merge.kif 15081-15088
No TPTP formula. May not be expressible in strict first order. Society.kif 1319-1323
No TPTP formula. May not be expressible in strict first order. Merge.kif 10945-10950
No TPTP formula. May not be expressible in strict first order. Merge.kif 14968-14974
No TPTP formula. May not be expressible in strict first order. Merge.kif 10360-10367
No TPTP formula. May not be expressible in strict first order. Merge.kif 10061-10066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2577-2586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8869-8871

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