TreeView Knowledge Base Browser - pathologicSymptom

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

pathologicSymptom

Sigma KEE - pathologicSymptom

pathologicSymptom

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10318-10319
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10322-10322	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 10323-10323	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 10317-10317	pathologic symptom is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10335-10335	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 10321-10321
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10320-10320

antecedent

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

Merge.kif 10325-10333

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 kind of pathologic process

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