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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InitialNodeFn

 Sigma KEE - InitialNodeFn
InitialNodeFn

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


(documentation InitialNodeFn ChineseLanguage "这是一个 UnaryFunction，它把一个 GraphArc 和这个 GraphArc的始点联系起来。 注：这是一个部分函数，特别是当 GraphArc 不属于 DirectedGraph 时，这会是个为定义的函数。") chinese_format.kif 2356-2358
(documentation InitialNodeFn EnglishLanguage "A UnaryFunction that maps a GraphArc to the initial node of the GraphArc. Note that this is a partial function. In particular, the function is undefined for GraphArcs that are not part of a DirectedGraph.") Merge.kif 5911-5914
(documentation InitialNodeFn JapaneseLanguage "UnaryFunction は、GraphArc を GraphArc の初期ノードにマップする。　注：これは部分的な関数。特に、DirectedGraph の一部ではない GraphArc の関数は未定義である。") japanese_format.kif 1033-1035
(domain InitialNodeFn 1 GraphArc) Merge.kif 5908-5908 Le nombre 1 argument de InitialNodeFn est une instance de arc du graph
(instance InitialNodeFn PartialValuedRelation) Merge.kif 5907-5907 InitialNodeFn est une instance de relation partielle
(instance InitialNodeFn UnaryFunction) Merge.kif 5906-5906 InitialNodeFn est une instance de function unaire
(range InitialNodeFn GraphNode) Merge.kif 5909-5909 Le domaine de InitialNodeFn est une instance de noeud du graph

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


(format ChineseLanguage InitialNodeFn "%1 节点的起点") chinese_format.kif 761-761
(format EnglishLanguage InitialNodeFn "the starting node of %1") english_format.kif 761-761
(format FrenchLanguage InitialNodeFn "le noeud de d�part de %1") french_format.kif 460-460
(format ItalianLanguage InitialNodeFn "il nodo iniziale di %1") relations-it.txt 146-146
(format JapaneseLanguage InitialNodeFn "%1 の starting ノード") japanese_format.kif 2164-2164
(format PortugueseLanguage InitialNodeFn "o no' initial %1") portuguese_format.kif 412-412
(format de InitialNodeFn "das ausgangsnullpunkt von %1") relations-de.txt 982-982
(format hi InitialNodeFn "%1 kii praarambhika bindu") relations-hindi.txt 185-185
(format ro InitialNodeFn "nodul starting%t{iniþial} al lui %1") relations-ro.kif 482-482
(format sv InitialNodeFn "den initiala noden för %1") relations-sv.txt 531-531
(format tg InitialNodeFn "ang pasimula ng %1") relations-tg.txt 296-296
(relatedInternalConcept BeginNodeFn InitialNodeFn) Merge.kif 5930-5930 BeginNodeFn est reli� � l'int�rieur de SUMO � InitialNodeFn
(termFormat ChineseLanguage InitialNodeFn "初始节点") domainEnglishFormat.kif 30130-30130
(termFormat ChineseLanguage InitialNodeFn "节点起点函数") chinese_format.kif 762-762
(termFormat ChineseTraditionalLanguage InitialNodeFn "初始節點") domainEnglishFormat.kif 30129-30129
(termFormat EnglishLanguage InitialNodeFn "initial node") domainEnglishFormat.kif 30128-30128
(termFormat tg InitialNodeFn "tungkulin ng buko una") relations-tg.txt 297-297

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


(=>
    (and
        (equal
            (InitialNodeFn ?ARC) ?NODE)
        (equal
            (TerminalNodeFn ?ARC) ?NODE))
    (instance ?ARC GraphLoop))		 Merge.kif 5852-5856
(=>
    (and
        (instance ?GRAPH GraphPath)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH)
        (equal
            (InitialNodeFn ?ARC) ?NODE))
    (not
        (exists (?OTHER)
            (and
                (equal
                    (InitialNodeFn ?OTHER) ?NODE)
                (not
                    (equal ?OTHER ?ARC))))))		 Merge.kif 5712-5723

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


(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))		 Merge.kif 5661-5669
(=>
    (and
        (instance ?GRAPH GraphPath)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH)
        (equal
            (InitialNodeFn ?ARC) ?NODE))
    (not
        (exists (?OTHER)
            (and
                (equal
                    (InitialNodeFn ?OTHER) ?NODE)
                (not
                    (equal ?OTHER ?ARC))))))		 Merge.kif 5712-5723


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 3.0 is open source software produced by Articulate Software and its partners