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 10405-10406
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10409-10409	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 10410-10410	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 10404-10404	pathologic symptom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10424-10424	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 10408-10408
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10407-10407

antecedent

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

Merge.kif 10414-10422

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