Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseCandidate

Sigma KEE - diseaseCandidate
diseaseCandidate

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1934-1935
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1950-1951
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1932-1932 The number 1 argument of diseaseCandidate is an instance of human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1933-1933 The number 2 argument of diseaseCandidate is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1931-1931 diseaseCandidate is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1937-1937 diseaseCandidate is internally related to pathologyCandidate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1936-1936

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1939-1945


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