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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganismProcess

 Sigma KEE - OrganismProcess
OrganismProcess(organism process)acclimate, acclimatise, acclimatize, adapt, adjust, aerophagia, aestivate, anthesis, arouse, awaken, bawling, bed_down, blanch, blench, bloom, blooming, blossoming, blow, bounce_back, break, breaking_wind, bronze, bundle, bunk_down, cardiopulmonary, cardiorespiratory, cause_to_sleep, circulation, cold_turkey, come, conform, conform_to, conk_out, crash, crying, defoliation, doss, doss_down, drowse, drug_withdrawal, efflorescence, electric_shock, electrical_shock, estivate, etiolate, fart, farting, flatus, florescence, flowering...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2902-2903
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10224
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1651-1652
No TPTP formula. May not be expressible in strict first order. Merge.kif 10220-10220 Organism process is a subclass of physiologic process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10206-10206 Organ or tissue process is disjoint from organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10226-10226 Birth is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10387-10387 Breath is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10275-10275 Breathing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6026-6026 Coughing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10242-10242 Death is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10318-10318 Digesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2105-2105 Excreting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10282-10282 Ingesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24169-24169 Laying eggs is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24152-24152 Mating is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21456-21456 Nausea is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6240-6240 Recovering from illness is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10347-10347 Replication is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6104-6104 Sneezing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13762-13762 Vocalizing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21432-21432 Vomiting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1075-1075
No TPTP formula. May not be expressible in strict first order. english_format.kif 1361-1361
No TPTP formula. May not be expressible in strict first order. french_format.kif 753-753
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 285-285
No TPTP formula. May not be expressible in strict first order. terms-it.txt 288-288
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2437-2437
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 705-705

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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