GraphNode - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GraphNode ChineseLanguage "Graph 是由 GraphNode 和 GraphArc 组成，所有的 GraphNode 都是由 GraphArc 联系的.")	chinese_format.kif 2342-2343
(documentation GraphNode EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphNode is linked by a GraphArc.")	Merge.kif 5884-5885
(documentation GraphNode JapaneseLanguage "Grap は GraphNode および GraphArc で構成される。すべての GraphArc は GraphNode によってリンクされている。")	japanese_format.kif 1016-1017
(externalImage GraphNode "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n_graf.svg")	pictureList.kif 1790-1790
(subclass GraphNode GraphElement)	Merge.kif 5882-5882	Noeud du graph est une sous-classe de �lement du graph

appearance as argument number 2

(partition GraphElement GraphNode GraphArc)	Merge.kif 5870-5870	�lement du graph Est compl�tement d�compos� en noeud du graph + arc du graph
(range BeginNodeFn GraphNode)	Merge.kif 5993-5993	Le domaine de BeginNodeFn est une instance de noeud du graph
(range EndNodeFn GraphNode)	Merge.kif 6004-6004	Le domaine de EndNodeFn est une instance de noeud du graph
(range InitialNodeFn GraphNode)	Merge.kif 5973-5973	Le domaine de InitialNodeFn est une instance de noeud du graph
(range TerminalNodeFn GraphNode)	Merge.kif 5983-5983	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat ChineseLanguage GraphNode "图节点")	chinese_format.kif 941-941	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat EnglishLanguage GraphNode "graph node")	english_format.kif 1089-1089	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat FrenchLanguage GraphNode "noeud du graph")	french_format.kif 617-617	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat Hindi GraphNode "granthi aalekha")	terms-hindi.txt 148-148	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat ItalianLanguage GraphNode "NodoDelGrafo")	terms-it.txt 151-151	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat JapaneseLanguage GraphNode "グラフノード")	japanese_format.kif 2302-2302	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat PortugueseLanguage GraphNode "No' do Grafo")	portuguese_format.kif 569-569	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat cz GraphNode "graph node")	terms-cz.txt 185-185	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat de GraphNode "Graphknoten")	terms-de.txt 444-444	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat ro GraphNode "nod într-un graf")	relations-ro.kif 638-638	Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat tg GraphNode "pinagdugtungang talaguhitan")	terms-tg.txt 152-152	Le domaine de TerminalNodeFn est une instance de noeud du graph

appearance as argument number 3

(domain GraphPathFn 1 GraphNode)	Merge.kif 6104-6104	Le nombre 1 argument de GraphPathFn est une instance de noeud du graph
(domain GraphPathFn 2 GraphNode)	Merge.kif 6105-6105	Le nombre 2 argument de GraphPathFn est une instance de noeud du graph
(domain MaximalWeightedPathFn 1 GraphNode)	Merge.kif 6082-6082	Le nombre 1 argument de MaximalWeightedPathFn est une instance de noeud du graph
(domain MaximalWeightedPathFn 2 GraphNode)	Merge.kif 6083-6083	Le nombre 2 argument de MaximalWeightedPathFn est une instance de noeud du graph
(domain MinimalWeightedPathFn 1 GraphNode)	Merge.kif 6060-6060	Le nombre 1 argument de MinimalWeightedPathFn est une instance de noeud du graph
(domain MinimalWeightedPathFn 2 GraphNode)	Merge.kif 6061-6061	Le nombre 2 argument de MinimalWeightedPathFn est une instance de noeud du graph
(domain links 1 GraphNode)	Merge.kif 5923-5923	Le nombre 1 argument de links est une instance de noeud du graph
(domain links 2 GraphNode)	Merge.kif 5924-5924	Le nombre 2 argument de links est une instance de noeud du graph

antecedent

(=> (and (graphMeasure ?G ?M) (instance ?AN GraphNode) (graphPart ?AN ?G) (graphPart ?AA ?G) (instance ?AA GraphArc) (abstractCounterpart ?AN ?PN) (abstractCounterpart ?AA ?PA) (arcWeight ?AA ?N)) (measure ?PA (MeasureFn ?N ?M)))	Merge.kif 6215-6226	graphMeasure graph and unit� de mesure �lement du graph est une instance de noeud du graph �lement du graph est une partie de graph arc du graph est une partie de graph arc du graph est une instance de arc du graph abstractCounterpart �lement du graph and physique abstractCounterpart arc du graph and physique la valeur de arc du graph est nombre r�el la mesure de physique est nombre r�el unit� de mesure(s)
(=> (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 5680-5700	Graph est une instance de graph noeud du graph est une instance de noeud du graph noeud du graph est une instance de noeud du graph noeud du graph est une partie de graph noeud du graph est une partie de graph equal noeud du graph and noeud du graph arc du graph chemin du graph arc du graph lie noeud du graph et noeud du graph chemin du graph est un sous-graph de graph chemin du graph est une instance de chemin du graph equal le commencement de chemin du graph and noeud du graph equal la fin de chemin du graph and noeud du graph equal le commencement de chemin du graph and noeud du graph equal la fin de chemin du graph and noeud du graph
(=> (instance ?NODE GraphNode) (exists (?OTHER ?ARC) (links ?NODE ?OTHER ?ARC)))	Merge.kif 5887-5890	Noeud du graph est une instance de noeud du graph noeud du graph arc du graph arc du graph lie noeud du graph et noeud du graph

consequent

(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?TJ TransitwayJunction)
        (abstractCounterpart ?G ?TS)
        (systemPart ?TJ ?TS))
    (exists (?GN)
        (and
            (instance ?GN GraphNode)
            (abstractCounterpart ?GN ?TJ)
            (graphPart ?GN ?G))))

Transportation.kif 3455-3465

PhysicalSystem est une instance de TransitSystem physique est une instance de TransitwayJunction abstractCounterpart graph and PhysicalSystem systemPart physique and PhysicalSystem
graphN graphN est une instance de noeud du graph abstractCounterpart graphN and physique graphN est une partie de graph

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

KB Term:			Term intersection

English Word: