Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - links
links

appearance as argument number 1
-------------------------


(documentation links ChineseLanguage "这是一个 TernaryPredicate, 它指定联系两个 GraphNodeGraphArc。") 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