|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5537-5537 | 子類 Upadacitinib and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3264-3264 | 子類 Vyvanse and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36869-36869 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36868-36868 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36867-36867 |
|
|
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