| appearance as argument number 1 |
|
| (documentation links ChineseLanguage "这是一个 TernaryPredicate， 它指定联系两个 GraphNode 的 GraphArc。") | chinese_format.kif 2347-2348 | |
| (documentation links EnglishLanguage "a TernaryPredicate that specifies the GraphArc connecting two GraphNodes.") | Merge.kif 5434-5435 | |
| (domain links 1 GraphNode) | Merge.kif 5430-5430 | |
| (domain links 2 GraphNode) | Merge.kif 5431-5431 | |
| (domain links 3 GraphArc) | Merge.kif 5432-5432 | |
| (instance links TernaryPredicate) | Merge.kif 5429-5429 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage links "%3 %n{doesn't} links %1 和 %2") | chinese_format.kif 747-747 | |
| (format EnglishLanguage links "%3 %n{doesn't} link%p{s} %1 and %2") | english_format.kif 752-752 | |
| (termFormat ChineseLanguage links "连接") | chinese_format.kif 748-748 | |
| (termFormat ChineseLanguage links "链接") | domainEnglishFormat.kif 34471-34471 | |
| (termFormat ChineseTraditionalLanguage links "鏈接") | domainEnglishFormat.kif 34470-34470 | |
| (termFormat EnglishLanguage links "links") | domainEnglishFormat.kif 34469-34469 |
| antecedent |
|
|
| (=> (links ?NODE1 ?NODE2 ?ARC) (links ?NODE2 ?NODE1 ?ARC)) |
Merge.kif 5437-5439 |
| consequent |
|
|
| (<=> (instance ?GRAPH MultiGraph) (exists (?ARC1 ?ARC2 ?NODE1 ?NODE2) (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE1 ?NODE2 ?ARC2) (not (equal ?ARC1 ?ARC2))))) |
Merge.kif 5356-5366 | |
| (<=> (instance ?LOOP GraphLoop) (exists (?NODE) (links ?NODE ?NODE ?LOOP))) |
Merge.kif 5418-5421 | |
| (=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC)) |
Transportation.kif 2839-2845 | |
| (=> (and (instance ?GRAPH Graph) (instance ?NODE1 GraphNode) (instance ?NODE2 GraphNode) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (not (equal ?NODE1 ?NODE2))) (exists (?ARC ?PATH) (or (links ?NODE1 ?NODE2 ?ARC) (and (subGraph ?PATH ?GRAPH) (instance ?PATH GraphPath) (or (and (equal (BeginNodeFn ?PATH) ?NODE1) (equal (EndNodeFn ?PATH) ?NODE2)) (and (equal (BeginNodeFn ?PATH) ?NODE2) (equal (EndNodeFn ?PATH) ?NODE1))))))) |
Merge.kif 5217-5237 | |
| (=> (instance ?ARC GraphArc) (exists (?NODE1 ?NODE2) (links ?NODE1 ?NODE2 ?ARC))) |
Merge.kif 5408-5411 | |
| (=> (instance ?GRAPH Graph) (exists (?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2) (and (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (graphPart ?NODE3 ?GRAPH) (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE2 ?NODE3 ?ARC2) (not (equal ?NODE1 ?NODE2)) (not (equal ?NODE2 ?NODE3)) (not (equal ?NODE1 ?NODE3)) (not (equal ?ARC1 ?ARC2))))) |
Merge.kif 5239-5253 | |
| (=> (instance ?NODE GraphNode) (exists (?OTHER ?ARC) (links ?NODE ?OTHER ?ARC))) |
Merge.kif 5398-5401 | |
| (=> (links ?NODE1 ?NODE2 ?ARC) (links ?NODE2 ?NODE1 ?ARC)) |
Merge.kif 5437-5439 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners