TreeView Knowledge Base Browser - Healthy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Healthy

Healthy

anicteric, asymptomatic, bouncing, fit, full-blooded, good, hale, healthy, hearty, lusty, red-blooded, sound, symptomless, well, whole, wholesome

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29684-29684
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29683-29683	Healthy is an instance of biological attribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11449-11459	If a %1 is connected to a %2 a kind of body part and another kind of body part and Healthy is an attribute of an object, then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of a fourth object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14715-14726	If an object is an instance of animal and another object is an instance of the an AntiSymmetricPositionalAttribute a kind of body part and the AntiSymmetricPositionalAttribute is the opposite of the AntiSymmetricPositionalAttributeO and Healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the AntiSymmetricPositionalAttributeO a kind of body part and the other object is the AntiSymmetricPositionalAttribute to the other objectO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29686-29692	If Healthy is an attribute of an object, then there doesn't exist an attribute such that the attribute is an instance of disease or syndrome and the attribute is an attribute of the object

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