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 是 對於 注射disease 治癒 Clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5616-5616 RheumatoidArthritis 是 對於 Ingestingdisease 治癒 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5269-5269 RheumatoidArthritis 是 對於 注射disease 治癒 Sarilumab
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3914-3914 RheumatoidArthritis 是 對於 Ingestingdisease 治癒 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 子類 RheumatoidArthritis and Arthritis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2224-2224 子類 RheumatoidArthritis and AutoImmuneDisorder

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4951-4951 Abatacept 是 對於 Ingestingdisease 治癒 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5547-5547 Upadacitinib 是 對於 Ingestingdisease 治癒 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