| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13542-13543 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13544-13544 | 域子類 ImpairmentFn, 1 and PhysiologicProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13541-13541 | 例 ImpairmentFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13545-13545 | 範圍子類 ImpairmentFn and BiologicalProcess |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13547-13547 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13546-13546 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13549-13559 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 755-773 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3405-3411 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6535-6538 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4218-4224 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2093-2102 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 800-809 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4841-4848 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4246-4246 | ImpairmentFn Walking 是 ParkinsonsDisease 的 disease 病狀 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2963-2963 | 子類 BrainFog and ImpairmentFn Thinking |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2025-2025 | 子類 BreathingDifficulty and ImpairmentFn Breathing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12644-12644 | 子類 Choking and ImpairmentFn Breathing |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2104-2104 | 子類 GastroIntestinalIssue and ImpairmentFn 消化 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4313-4313 | 子類 HeartPalpitation and ImpairmentFn HeartBeat |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2021-2021 | 子類 MemoryLoss and ImpairmentFn Remembering |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2029-2029 | 子類 ThinkingDifficulty and ImpairmentFn PsychologicalProcess |
|
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