TreeView Knowledge Base Browser - RecoveringFromIllness

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

RecoveringFromIllness

Sigma KEE - RecoveringFromIllness

RecoveringFromIllness(recovering from illness)

convalesce, convalescent, recover, recovering, recuperate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6247-6248
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48986-48986
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48985-48985
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48984-48984

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6252-6265

If a process is an instance of recovering from illness and an agent experiences the process,
then there exists a physical such that the physical is an instance of disease or syndrome and the physical is an attribute of the agent holds during the beginning of the time of existence of the physical and the physical is not an attribute of the agent holds during the end of the time of existence of the physical

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