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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13321-13321 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 13323-13324
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 13322-13322 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13320-13320 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13319-13319 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 13313-13313 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 13411-13411 Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13390-13390 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 13416-13416 Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13364-13364 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 15179-15179 The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15180-15180 The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15267-15267 The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15268-15268 The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15162-15162 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 15163-15163 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 15255-15255 The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15256-15256 The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13335-13335 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15238-15238 The number 1 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15239-15239 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 15194-15194 The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15195-15195 The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15141-15141 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15142-15142 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15294-15294 The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15295-15295 The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15279-15279 The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15280-15280 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 1090-1090 The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 13811-13811 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 15154-15159
No TPTP formula. May not be expressible in strict first order. Merge.kif 16798-16803
No TPTP formula. May not be expressible in strict first order. Merge.kif 9635-9650
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 16770-16774
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 13927-13932
No TPTP formula. May not be expressible in strict first order. Merge.kif 13938-13943
No TPTP formula. May not be expressible in strict first order. Merge.kif 13769-13774
No TPTP formula. May not be expressible in strict first order. Merge.kif 13780-13785
No TPTP formula. May not be expressible in strict first order. Merge.kif 15208-15213
No TPTP formula. May not be expressible in strict first order. Merge.kif 16782-16787
No TPTP formula. May not be expressible in strict first order. Merge.kif 16839-16844
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 13326-13331
No TPTP formula. May not be expressible in strict first order. Merge.kif 15225-15228

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9828-9835 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 9664-9668
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 13437-13441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9772-9776
No TPTP formula. May not be expressible in strict first order. Merge.kif 13396-13400
No TPTP formula. May not be expressible in strict first order. Merge.kif 11429-11436
No TPTP formula. May not be expressible in strict first order. Merge.kif 9565-9569
No TPTP formula. May not be expressible in strict first order. Merge.kif 11377-11386
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 13449-13453
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 13874-13880
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 16922-16928
No TPTP formula. May not be expressible in strict first order. Merge.kif 11921-11926
No TPTP formula. May not be expressible in strict first order. Merge.kif 14003-14010
No TPTP formula. May not be expressible in strict first order. Merge.kif 10390-10395
No TPTP formula. May not be expressible in strict first order. Merge.kif 13908-13914
No TPTP formula. May not be expressible in strict first order. Merge.kif 9844-9851
No TPTP formula. May not be expressible in strict first order. Merge.kif 9558-9563
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 8863-8865

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