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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lupus

 Sigma KEE - Lupus
Lupus

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4624-4624 Lupus 是 对于 消化 的 dis​​ease 治愈 Benelysta
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5617-5617 Lupus 是 对于 消化 的 dis​​ease 治愈 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4737-4737 Lupus 是 对于 消化 的 dis​​ease 治愈 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2259-2261
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2258-2258 Lupus 是 AutoImmuneDisorder 的 subclass

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


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

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


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


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