graphPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - graphPart

graphPart

appearance as argument number 1

(documentation graphPart ChineseLanguage "这是 Graph 和它的部分之间的一个基本关系。 (graphPart ?PART ?GRAPH) 的意思是 ?PART 是Graph ?GRAPH 的一个 GraphArc 或 GraphNode。")	chinese_format.kif 2349-2350
(documentation graphPart EnglishLanguage "A basic relation for Graphs and their parts. (graphPart ?PART ?GRAPH) means that ?PART is a GraphArc or GraphNode of the Graph ?GRAPH.")	Merge.kif 5448-5450
(domain graphPart 1 GraphElement)	Merge.kif 5445-5445	domain graphPart, 1 and GraphElement
(domain graphPart 2 Graph)	Merge.kif 5446-5446	domain graphPart, 2 and Graph
(instance graphPart AsymmetricRelation)	Merge.kif 5442-5442	instance graphPart and AsymmetricRelation
(instance graphPart BinaryPredicate)	Merge.kif 5441-5441	instance graphPart and BinaryPredicate
(instance graphPart IrreflexiveRelation)	Merge.kif 5444-5444	instance graphPart and IrreflexiveRelation
(instance graphPart TotalValuedRelation)	Merge.kif 5443-5443	instance graphPart and TotalValuedRelation

appearance as argument number 2

(format ChineseLanguage graphPart "%1 %n 是 %2 的 part")	chinese_format.kif 749-749
(format EnglishLanguage graphPart "%1 is %n a part of %2")	english_format.kif 754-754
(termFormat ChineseLanguage graphPart "图形部分")	chinese_format.kif 750-750	termFormat ChineseLanguage, graphPart and "图形部分"
(termFormat ChineseTraditionalLanguage graphPart "圖形部分")	domainEnglishFormat.kif 26388-26388	termFormat ChineseTraditionalLanguage, graphPart and "圖形部分"
(termFormat EnglishLanguage graphPart "graph part")	domainEnglishFormat.kif 26387-26387	termFormat EnglishLanguage, graphPart and "graph part"

antecedent

(=> (and (equal (PathWeightFn ?PATH) ?SUM) (graphPart ?ARC1 ?PATH) (graphPart ?ARC2 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (arcWeight ?ARC2 ?NUMBER2) (forall (?ARC3) (=> (graphPart ?ARC3 ?PATH) (or (equal ?ARC3 ?ARC1) (equal ?ARC3 ?ARC2))))) (equal (PathWeightFn ?PATH) (AdditionFn ?NUMBER1 ?NUMBER2)))	Merge.kif 5552-5565	equal PathWeightFn GraphPath and Quantity graphPart GraphArc and GraphPath graphPart GraphArc and GraphPath arcWeight GraphArc and Quantity arcWeight GraphArc and Quantity GraphElement graphPart GraphElement and GraphPath equal GraphElement and GraphArc equal GraphElement and GraphArc equal PathWeightFn GraphPath and AdditionFn Quantity and Quantity
(=> (and (equal (PathWeightFn ?PATH) ?SUM) (subGraph ?SUBPATH ?PATH) (graphPart ?ARC1 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (forall (?ARC2) (=> (graphPart ?ARC2 ?PATH) (or (graphPart ?ARC2 ?SUBPATH) (equal ?ARC2 ?ARC1))))) (equal ?SUM (AdditionFn (PathWeightFn ?SUBPATH) ?NUMBER1)))	Merge.kif 5538-5550	equal PathWeightFn GraphPath and Quantity subGraph GraphPath and GraphPath graphPart GraphArc and GraphPath arcWeight GraphArc and Quantity GraphElement graphPart GraphElement and GraphPath graphPart GraphElement and GraphPath equal GraphElement and GraphArc equal Quantity and AdditionFn PathWeightFn GraphPath and Quantity
(=> (and (graphMeasure ?G ?M) (instance ?AN GraphNode) (graphPart ?AN ?G) (graphPart ?AA ?G) (instance ?AA GraphArc) (abstractCounterpart ?AN ?PN) (abstractCounterpart ?AA ?PA) (arcWeight ?AA (MeasureFn ?N ?M))) (measure ?PA (MeasureFn ?N ?M)))	Merge.kif 5730-5740	graphMeasure Graph and UnitOfMeasure instance GraphElement and GraphNode graphPart GraphElement and Graph graphPart GraphArc and Graph instance GraphArc and GraphArc abstractCounterpart GraphElement and Physical abstractCounterpart GraphArc and Object arcWeight GraphArc and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure
(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1))))	Merge.kif 5627-5633	graphPart GraphElement and Graph instance Graph and DirectedGraph instance GraphElement and GraphPathFn GraphNode and GraphNode instance GraphElement and GraphPathFn GraphNode and GraphNode
(=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2))))	Merge.kif 5262-5270	instance Graph and DirectedGraph instance GraphArc and GraphArc graphPart GraphArc and Graph GraphNode GraphNode equal InitialNodeFn GraphArc and GraphNode equal TerminalNodeFn GraphArc and GraphNode
(=> (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 5217-5237	instance Graph and Graph instance GraphNode and GraphNode instance GraphNode and GraphNode graphPart GraphNode and Graph graphPart GraphNode and Graph equal GraphNode and GraphNode GraphArc GraphPath links GraphNode, GraphNode and GraphArc subGraph GraphPath and Graph instance GraphPath and GraphPath equal BeginNodeFn GraphPath and GraphNode equal EndNodeFn GraphPath and GraphNode equal BeginNodeFn GraphPath and GraphNode equal EndNodeFn GraphPath and GraphNode
(=> (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 5313-5323	instance Graph and GraphPath instance GraphArc and GraphArc graphPart GraphArc and Graph equal InitialNodeFn GraphArc and GraphNode GraphArc equal InitialNodeFn GraphArc and GraphNode equal GraphArc and GraphArc
(=> (and (instance ?GRAPH GraphPath) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (=> (equal (TerminalNodeFn ?ARC) ?NODE) (not (exists (?OTHER) (and (equal (TerminalNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC)))))))	Merge.kif 5325-5335	instance Graph and GraphPath instance GraphArc and GraphArc graphPart GraphArc and Graph equal TerminalNodeFn GraphArc and GraphNode GraphArc equal TerminalNodeFn GraphArc and GraphNode equal GraphArc and GraphArc
(=> (and (subGraph ?GRAPH1 ?GRAPH2) (graphPart ?ELEMENT ?GRAPH1)) (graphPart ?ELEMENT ?GRAPH2))	Merge.kif 5462-5466	subGraph Graph and Graph graphPart GraphElement and Graph graphPart GraphElement and Graph

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 5356-5366	instance Graph and MultiGraph GraphArc GraphArc, GraphNode and GraphNode graphPart GraphArc and Graph graphPart GraphArc and Graph graphPart GraphNode and Graph graphPart GraphNode and Graph links GraphNode, GraphNode and GraphArc links GraphNode, GraphNode and GraphArc equal GraphArc and GraphArc
(<=> (instance ?GRAPH PseudoGraph) (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH))))	Merge.kif 5373-5378	instance Graph and PseudoGraph GraphElement instance GraphElement and GraphLoop graphPart GraphElement and Graph
(=> (and (instance ?TS TransitSystem) (instance ?T Transitway) (abstractCounterpart ?G ?TS) (systemPart ?T ?TS)) (exists (?GA) (and (instance ?GA GraphArc) (abstractCounterpart ?GA ?T) (graphPart ?GA ?G))))	Transportation.kif 2815-2825	instance PhysicalSystem and TransitSystem instance Physical and Transitway abstractCounterpart Graph and PhysicalSystem systemPart Physical and PhysicalSystem GraphA instance GraphA and GraphArc abstractCounterpart GraphA and Physical graphPart GraphA and Graph
(=> (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 2827-2837	instance PhysicalSystem and TransitSystem instance Physical and TransitwayJunction abstractCounterpart Graph and PhysicalSystem systemPart Physical and PhysicalSystem GraphN instance GraphN and GraphNode abstractCounterpart GraphN and Physical graphPart GraphN and Graph
(=> (and (subGraph ?GRAPH1 ?GRAPH2) (graphPart ?ELEMENT ?GRAPH1)) (graphPart ?ELEMENT ?GRAPH2))	Merge.kif 5462-5466	subGraph Graph and Graph graphPart GraphElement and Graph graphPart GraphElement and Graph
(=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC)))))	Merge.kif 5722-5728	graphMeasure Graph and UnitOfMeasure GraphElement graphPart GraphElement and Graph Physical abstractCounterpart GraphElement and Physical
(=> (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 5239-5253	instance Graph and Graph GraphNode GraphNode, GraphNode, GraphArc and GraphArc graphPart GraphNode and Graph graphPart GraphNode and Graph graphPart GraphNode and Graph graphPart GraphArc and Graph graphPart GraphArc and Graph links GraphNode, GraphNode and GraphArc links GraphNode, GraphNode and GraphArc equal GraphNode and GraphNode equal GraphNode and GraphNode equal GraphNode and GraphNode equal GraphArc and GraphArc
(=> (instance ?GRAPH Tree) (not (exists (?ARC1 ?ARC2 ?NODE) (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE ?GRAPH) (equal (TerminalNodeFn ?ARC1) ?NODE) (equal (TerminalNodeFn ?ARC2) ?NODE) (not (equal ?ARC1 ?ARC2))))))	Merge.kif 5293-5303	instance Graph and Tree GraphArc GraphArc and GraphNode graphPart GraphArc and Graph graphPart GraphArc and Graph graphPart GraphNode and Graph equal TerminalNodeFn GraphArc and GraphNode equal TerminalNodeFn GraphArc and GraphNode equal GraphArc and GraphArc
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH)))))	Merge.kif 5285-5291	instance Graph and Tree GraphElement instance GraphElement and GraphCircuit graphPart GraphElement and Graph
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)))))	Merge.kif 5277-5283	instance Graph and Tree GraphElement instance GraphElement and GraphLoop graphPart GraphElement and Graph
(=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH))))	Merge.kif 5386-5391	instance GraphElement and GraphElement Graph instance Graph and Graph graphPart GraphElement and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners