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 10208-10210
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 10206-10206 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 10192-10192 Organ or tissue process is disjoint from organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10212-10212 Birth is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10359-10359 Breath is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10261-10261 Breathing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6031-6031 Coughing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10228-10228 Death is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10304-10304 Digesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2112-2112 Excreting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10268-10268 Ingesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24111-24111 Laying eggs is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24094-24094 Mating is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21428-21428 Nausea is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6245-6245 Recovering from illness is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10333-10333 Replication is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6109-6109 Sneezing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13738-13738 Vocalizing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21404-21404 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