| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | 不相交的關係 降低可能性 and 獨立概率 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1910-1912 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2619-2621 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 537-539 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2616-2616 | 域 降低可能性, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2617 | 域 降低可能性, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2614-2614 | 例 降低可能性 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | 例 降低可能性 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2613-2613 | 例 降低可能性 and ProbabilityRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2598-2598 | 不相交的關係 增加可能性 and 降低可能性 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 67-67 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1893-1893 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 19-19 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 108-108 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 86-86 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 66-66 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 150-150 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 101-101 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18833-18833 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18832-18832 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 27-27 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 151-151 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2623-2628 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2647-2654 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4399-4410 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4319-4332 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3558-3582 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1050-1066 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1016-1034 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3994-4012 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
|
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