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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13356-13356 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order. Merge.kif 13358-13359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6748-6748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7486-7486
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7487-7487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7489-7489
No TPTP formula. May not be expressible in strict first order. Merge.kif 13357-13357 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13355-13355 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13354-13354 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 13348-13348 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 13446-13446 Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13425-13425 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 13451-13451 Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13399-13399 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1140-1140

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15226-15226 The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15227-15227 The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15314-15314 The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15315-15315 The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15208-15208 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 15209-15209 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 15302-15302 The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15303-15303 The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13370-13370 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15285-15285 The number 1 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15286-15286 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 6101-6101 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 6102-6102 The number 2 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15241-15241 The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15242-15242 The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15187-15187 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15188-15188 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15341-15341 The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15342-15342 The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15326-15326 The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15327-15327 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 234-234 The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Food.kif 1093-1093 The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13846-13846 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 15200-15205
No TPTP formula. May not be expressible in strict first order. Merge.kif 16850-16855
No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9685
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 1798-1813
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 16822-16826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 250-258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 177-184
No TPTP formula. May not be expressible in strict first order. Merge.kif 13962-13967
No TPTP formula. May not be expressible in strict first order. Merge.kif 13973-13978
No TPTP formula. May not be expressible in strict first order. Merge.kif 13804-13809
No TPTP formula. May not be expressible in strict first order. Merge.kif 13815-13820
No TPTP formula. May not be expressible in strict first order. Merge.kif 15255-15260
No TPTP formula. May not be expressible in strict first order. Merge.kif 16834-16839
No TPTP formula. May not be expressible in strict first order. Merge.kif 16891-16896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 219-222
No TPTP formula. May not be expressible in strict first order. Merge.kif 13361-13366
No TPTP formula. May not be expressible in strict first order. Merge.kif 15272-15275

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9863-9870 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 9699-9703
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 13472-13476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9774-9778
No TPTP formula. May not be expressible in strict first order. Merge.kif 13431-13435
No TPTP formula. May not be expressible in strict first order. Merge.kif 11464-11471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9600-9604
No TPTP formula. May not be expressible in strict first order. Merge.kif 11412-11421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-170
No TPTP formula. May not be expressible in strict first order. Merge.kif 13484-13488
No TPTP formula. May not be expressible in strict first order. Food.kif 34-36
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 13909-13915
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 16974-16980
No TPTP formula. May not be expressible in strict first order. Merge.kif 11956-11961
No TPTP formula. May not be expressible in strict first order. Merge.kif 14038-14045
No TPTP formula. May not be expressible in strict first order. Merge.kif 10425-10430
No TPTP formula. May not be expressible in strict first order. Merge.kif 13943-13949
No TPTP formula. May not be expressible in strict first order. Merge.kif 9879-9886
No TPTP formula. May not be expressible in strict first order. Merge.kif 9593-9598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2578-2587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8865-8867

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