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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphLoop
GraphLoop(图环路)

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


(documentation GraphLoop ChineseLanguage "这是一个由 GraphNode 联系着自己的 GraphArc。") chinese_format.kif 2346-2346
(documentation GraphLoop EnglishLanguage "A GraphArc in which a GraphNode is linked to itself.") Merge.kif 5854-5855
(documentation GraphLoop JapaneseLanguage "GraphArcは、GraphNode がそれ自体にリンクされ ている。") japanese_format.kif 1020-1021
(externalImage GraphLoop "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ 6n-graph2.svg") pictureList.kif 1790-1790
(subclass GraphLoop GraphArc) Merge.kif 5852-5852 图环路图弧subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage GraphLoop "图环路") chinese_format.kif 943-943
(termFormat EnglishLanguage GraphLoop "graph loop") english_format.kif 1093-1093
(termFormat FrenchLanguage GraphLoop " boucle du graph") french_format.kif 619-619
(termFormat Hindi GraphLoop "aalekha paasha") terms-hindi.txt 150-150
(termFormat ItalianLanguage GraphLoop "grafo ciclico") terms-it.txt 153-153
(termFormat JapaneseLanguage GraphLoop "グラフループ") japanese_format.kif 2304-2304
(termFormat PortugueseLanguage GraphLoop "Laco do Grafo") portuguese_format.kif 571-571
(termFormat cz GraphLoop "graph loop") terms-cz.txt 187-187
(termFormat ro GraphLoop "buclã într-un graf") relations-ro.kif 640-640
(termFormat tg GraphLoop "talaguhitang silo") terms-tg.txt 154-154

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


(=>
    (and
        (instance ?LOOP GraphLoop)
        (graphPart ?LOOP ?GRAPH))
    (instance ?GRAPH PseudoGraph))
Merge.kif 5813-5817
(=>
    (instance ?LOOP GraphLoop)
    (exists (?NODE)
        (links ?NODE ?NODE ?LOOP)))
Merge.kif 5857-5860

consequent
-------------------------


(=>
    (and
        (equal
            (InitialNodeFn ?ARC) ?NODE)
        (equal
            (TerminalNodeFn ?ARC) ?NODE))
    (instance ?ARC GraphLoop))
Merge.kif 5866-5870
(=>
    (instance ?GRAPH PseudoGraph)
    (exists (?LOOP)
        (and
            (instance ?LOOP GraphLoop)
            (graphPart ?LOOP ?GRAPH))))
Merge.kif 5806-5811
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphLoop)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5690-5696
(=>
    (links ?NODE ?NODE ?LOOP)
    (instance ?LOOP GraphLoop))
Merge.kif 5862-5864


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