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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - GraphLoop
GraphLoop(graph loop)

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 5879-5880
(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 1789-1789
(subclass GraphLoop GraphArc) Merge.kif 5877-5877 Graph loop is a subclass of graph arc

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 de GraphLoop "Graphschleife") terms-de.txt 446-446
(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 5838-5842
(=>
    (instance ?LOOP GraphLoop)
    (exists (?NODE)
        (links ?NODE ?NODE ?LOOP)))
Merge.kif 5882-5885

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


(=>
    (and
        (equal
            (InitialNodeFn ?ARC) ?NODE)
        (equal
            (TerminalNodeFn ?ARC) ?NODE))
    (instance ?ARC GraphLoop))
Merge.kif 5891-5895
(=>
    (instance ?GRAPH PseudoGraph)
    (exists (?LOOP)
        (and
            (instance ?LOOP GraphLoop)
            (graphPart ?LOOP ?GRAPH))))
Merge.kif 5831-5836
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphLoop)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5715-5721
(=>
    (links ?NODE ?NODE ?LOOP)
    (instance ?LOOP GraphLoop))
Merge.kif 5887-5889


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