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

Formal Language: 



KB Term:  Term intersection
English Word: 

  links

Sigma KEE - links
links

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


(documentation links ChineseLanguage "这是一个 TernaryPredicate, 它指定联系两个 GraphNodeGraphArc。") Merge.kif 5968-5969
(documentation links EnglishLanguage "a TernaryPredicate that specifies the GraphArc connecting two GraphNodes.") Merge.kif 5966-5967
(domain links 1 GraphNode) Merge.kif 5963-5963
(domain links 2 GraphNode) Merge.kif 5964-5964
(domain links 3 GraphArc) Merge.kif 5965-5965
(instance links TernaryPredicate) Merge.kif 5962-5962

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 462-462
(format FrenchLanguage links "%3 %n{ne} lie %n{pas} %1 et %2") french_format.kif 451-451
(format ItalianLanguage links "%3 %n{non} lega%p{s} %1 e %2") relations-it.txt 165-165
(format PortugueseLanguage links "%3 %n{nao} liga %n %1 e %2") portuguese_format.kif 403-403
(format cz links "%3 %n{ne}&%spojuje %1 a %2") relations-cz.txt 464-464
(format de links "%3 verbindet %1 und %2 %n{nicht}") relations-de.txt 963-963
(format hi links "%3 %1 aura %2 ko %n{nahiin} jodataa hai") relations-hindi.txt 204-204
(format tg links "%3 %n ay ikabit %1 at %2") relations-tg.txt 329-329
(termFormat ChineseLanguage links "连接") chinese_format.kif 748-748
(termFormat EnglishLanguage links "links") domainEnglishFormat.kif 6178-6178
(termFormat tg links "ikabit") relations-tg.txt 330-330

antecedent
-------------------------


(=>
    (links ?NODE1 ?NODE2 ?ARC)
    (links ?NODE2 ?NODE1 ?ARC))
Merge.kif 5971-5973

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 5885-5895
(<=>
    (instance ?LOOP GraphLoop)
    (exists (?NODE)
        (links ?NODE ?NODE ?LOOP)))
Merge.kif 5951-5954
(=>
    (and
        (connects ?A ?NODE1 ?NODE2)
        (abstractCounterpart ?N1 ?NODE1)
        (abstractCounterpart ?N2 ?NODE2)
        (abstractCounterpart ?ARC ?A))
    (links ?N1 ?N2 ?ARC))
Transportation.kif 2787-2793
(=>
    (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 5739-5759
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))
Merge.kif 5941-5944
(=>
    (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 5761-5775
(=>
    (instance ?NODE GraphNode)
    (exists (?OTHER ?ARC)
        (links ?NODE ?OTHER ?ARC)))
Merge.kif 5930-5933
(=>
    (links ?NODE1 ?NODE2 ?ARC)
    (links ?NODE2 ?NODE1 ?ARC))
Merge.kif 5971-5973


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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