pathologicSymptom - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - pathologicSymptom

pathologicSymptom

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10427-10428
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10431-10431	The number 1 argument of pathologic symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10432-10432	The number 2 argument of pathologic symptom is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10426-10426	pathologic symptom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10446-10446	pathologic symptom is internally related to disease symptom

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10430-10430
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10429-10429

antecedent

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

Merge.kif 10436-10444

If a kind of pathologic process is a symptom of a disease or syndrome,
then there exists an entity such that the disease or syndrome is an attribute of the entity increases likelihood of there exists another entity such that the other entity is an instance of a kind of pathologic process and the entity experiences the other entity

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