| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 935-939 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 932-932 | 疾病治疗 的 1 数量 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 933-933 | 疾病治疗 的 2 数量 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 934-934 | 疾病治疗 的 3 数量 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 931-931 | 疾病治疗 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 780-780 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 779-779 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 778-778 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19824-19824 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19823-19823 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19822-19822 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 957-961 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 963-967 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 941-955 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1274-1276 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1322-1326 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1288-1290 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1315-1317 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 957-961 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 963-967 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1374-1381 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1278-1282 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4614-4619 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4765-4765 | ADHD 是 对于 消化 的 disease 治愈 Adderall |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4951-4951 | Abatacept 是 对于 消化 的 disease 治愈 RheumatoidArthritis |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5634-5634 | AllergicRhinitis 是 对于 消化 的 disease 治愈 Chlorpheniramine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5255-5255 | AllergicRhinitis 是 对于 消化 的 disease 治愈 Levocetirizine |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1140-1140 | 炭疽病 是 对于 消化 的 disease 治愈 环丙沙星 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1139-1139 | 炭疽病 是 对于 消化 的 disease 治愈 多西环素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3882-3882 | 焦虑 是 对于 消化 的 disease 治愈 Benzodiazepine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3979-3979 | AttentionDeficitHyperactivityDisorder 是 对于 消化 的 disease 治愈 Lisdexamfetamine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3599-3599 | BacterialPneumonia 是 对于 消化 的 disease 治愈 Clarithromycin |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2469-2469 | Beriberi 是 对于 消化 的 disease 治愈 VitaminB1 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 359-359 | Burkholderia mallei 是 对于 消化 的 disease 治愈 环丙沙星 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3932-3932 | ChronicObstructivePulmonaryDisease 是 对于 消化 的 disease 治愈 Roflumilast |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4736-4736 | CrohnsDisease 是 对于 消化 的 disease 治愈 MycophenolicAcid |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3915-3915 | CrohnsDisease 是 对于 消化 的 disease 治愈 Sulfasalazine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4051-4051 | Depression 是 对于 消化 的 disease 治愈 Escitalopram |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4377-4377 | Eczema 是 对于 TopicalApplication 的 disease 治愈 Crisaborole |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4679-4679 | HeartAttack 是 对于 消化 的 disease 治愈 BetaBlocker |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4680-4680 | HeartPalpitations 是 对于 消化 的 disease 治愈 BetaBlocker |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4681-4681 | HighBloodPressure 是 对于 消化 的 disease 治愈 BetaBlocker |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5254-5254 | Hives 是 对于 消化 的 disease 治愈 Levocetirizine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3883-3883 | Insomnia 是 对于 消化 的 disease 治愈 Benzodiazepine |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 273-273 | 虱传斑疹伤寒 是 对于 消化 的 disease 治愈 口服抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4624-4624 | Lupus 是 对于 消化 的 disease 治愈 Benelysta |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5617-5617 | Lupus 是 对于 消化 的 disease 治愈 Hydroxychloroquine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4737-4737 | Lupus 是 对于 消化 的 disease 治愈 MycophenolicAcid |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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