TreeView Knowledge Base Browser - pathologyCandidate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

pathologyCandidate

Sigma KEE - pathologyCandidate

pathologyCandidate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1948-1948	The number 1 argument of pathologyCandidate is an instance of human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1949-1949	The number 2 argument of pathologyCandidate is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1947-1947	pathologyCandidate is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1952-1952
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1937-1937	diseaseCandidate is internally related to pathologyCandidate

antecedent

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

Medicine.kif 1954-1962

If a human may have a kind of pathologic process,
then there exist a kind of pathologic processOC and the kind of pathologic processI such that the kind of pathologic processI is an instance of the kind of pathologic process and the kind of pathologic processOC believes the statement the human experiences the kind of pathologic process has the modal force of possibility

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