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 diseaseMedicine RheumatoidArthritis, Clarithromycin and Injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5616-5616 diseaseMedicine RheumatoidArthritis, Hydroxychloroquine and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5269-5269 diseaseMedicine RheumatoidArthritis, Sarilumab and Injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3914-3914 diseaseMedicine RheumatoidArthritis, Sulfasalazine and Ingerir
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 e' uma sub-classe de Arthritis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2224-2224 RheumatoidArthritis e' uma sub-classe de AutoImmuneDisorder

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4951-4951 diseaseMedicine Abatacept, RheumatoidArthritis and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5547-5547 diseaseMedicine Upadacitinib, RheumatoidArthritis and Ingerir
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