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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RheumatoidArthritis

Sigma KEE - RheumatoidArthritis
RheumatoidArthritis

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3624-3624 RheumatoidArthritis 是 对于 注射dis​​ease 治愈 Clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5616-5616 RheumatoidArthritis 是 对于 消化dis​​ease 治愈 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5269-5269 RheumatoidArthritis 是 对于 注射dis​​ease 治愈 Sarilumab
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3914-3914 RheumatoidArthritis 是 对于 消化dis​​ease 治愈 Sulfasalazine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2226-2227
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2225-2225 RheumatoidArthritisArthritissubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2224-2224 RheumatoidArthritisAutoImmuneDisordersubclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4951-4951 Abatacept 是 对于 消化dis​​ease 治愈 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5547-5547 Upadacitinib 是 对于 消化dis​​ease 治愈 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2228-2228

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


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


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