| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1502-1503 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 415-417 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 65-67 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 75-77 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 412-412 | 域 不相交的關係, 1 and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 413-413 | 域 不相交的關係, 2 and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 409-409 | 例 不相交的關係 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | 例 不相交的關係 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 411-411 | 例 不相交的關係 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 414-414 | 相關的內部概念 不相交的關係 and 不相交的 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 289-289 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 294-294 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 167-167 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 77-77 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1987-1987 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 111-111 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 376-376 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 117-117 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 174-174 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 170-170 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19860-19860 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19859-19859 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19858-19858 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 117-117 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 447-453 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 419-424 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 426-431 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 433-438 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 440-445 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24170-24170 | 不相交的關係 祖先組織 and 子組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | 不相交的關係 包含 and 部分 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4200-4200 | 不相交的關係 十字架 and 連接的 |
| 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. | Merge.kif 4013-4013 | 不相交的關係 剝奪了規範 and 賦予規範 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7439-7439 | 不相交的關係 不贊成 and 慾望 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7423-7423 | 不相交的關係 不喜歡 and 想要 |
| 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. | Merge.kif 2599-2599 | 不相交的關係 增加可能性 and 獨立概率 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | 不相交的關係 方式 and attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9574 | 不相交的關係 空間的符合 and 在空間上重疊 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23358-23358 | 不相交的關係 相互陌生的人 and 相識熟人 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1679-1679 | 不相交的關係 referee and 扮演 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | 不相交的關係 資源 and 儀器 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | 不相交的關係 資源 and 結果 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | 不相交的關係 結果 and 儀器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23373-23373 | 不相交的關係 伴侶 and 國內的合作夥伴 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14393-14393 | 不相交的關係 停留 and 家 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23343-23343 | 不相交的關係 陌生人 and 熟人 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | 不相交的關係 子屬性 and 繼承屬性 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 643-643 | 不相交的關係 包含外部概念 and 包含外在概念 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 641-641 | 不相交的關係 同義外部概念 and 包含外部概念 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 642-642 | 不相交的關係 同義外部概念 and 包含外在概念 |
|
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