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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10186-10188
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 10184-10184 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 10170-10170 Organ or tissue process is disjoint from organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10190-10190 Birth is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10360-10360 Breath is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10239-10239 Breathing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6032-6032 Coughing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10206-10206 Death is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10282-10282 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 10246-10246 Ingesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24112-24112 Laying eggs is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24095-24095 Mating is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21429-21429 Nausea is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6246-6246 Recovering from illness is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10311-10311 Replication is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6110-6110 Sneezing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13716-13716 Vocalizing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21405-21405 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 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