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 5891-5893 | |
(documentation graphPart JapaneseLanguage "Graph とそのパーツの基本的な関係。(graphPart ?PART ?GRAPH) とは、?PARTが Graph ?GRAPH の GraphArc または GraphNode であることを 意味する。") | japanese_format.kif 1024-1026 | |
(domain graphPart 1 GraphElement) | Merge.kif 5888-5888 | graphPart の数値 1 引数は グラフ要素 の instance では %n |
(domain graphPart 2 Graph) | Merge.kif 5889-5889 | graphPart の数値 2 引数は グラフ の instance では %n |
(instance graphPart AsymmetricRelation) | Merge.kif 5885-5885 | graphPart は 非対称関係 の instance では %n |
(instance graphPart BinaryPredicate) | Merge.kif 5884-5884 | graphPart は 2進述語 の instance では %n |
(instance graphPart IrreflexiveRelation) | Merge.kif 5887-5887 | graphPart は 非反射関係 の instance では %n |
(instance graphPart TotalValuedRelation) | Merge.kif 5886-5886 | graphPart は 合計値関係 の instance では %n |
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 751-751 | |
(format FrenchLanguage graphPart "%1 est %n une partie de %2") | french_format.kif 452-452 | |
(format ItalianLanguage graphPart "%1 è %n una parte di %2") | relations-it.txt 119-119 | |
(format JapaneseLanguage graphPart "%1 は %2 の part では %n") | japanese_format.kif 2160-2160 | |
(format PortugueseLanguage graphPart "%1 e' %n uma &parte de %2") | portuguese_format.kif 404-404 | |
(format cz graphPart "%1 %p{je} %n{nen�} ��st� %2") | relations-cz.txt 465-465 | |
(format de graphPart "%1 ist ein teil von %2 %n{nicht}") | relations-de.txt 966-966 | |
(format hi graphPart "%1 %2 kaa bhaaga %n hai") | relations-hindi.txt 159-159 | |
(format ro graphPart "%1 %n{nu} este o part%t{parte} a kui %2") | relations-ro.kif 474-474 | |
(format sv graphPart "%1 är %n{inte} en del av %2") | relations-sv.txt 517-517 | |
(format tg graphPart "%1 %n ay ang bahagi sa %2") | relations-tg.txt 246-246 | |
(termFormat ChineseLanguage graphPart "图形部分") | chinese_format.kif 750-750 | |
(termFormat ChineseTraditionalLanguage graphPart "圖形部分") | domainEnglishFormat.kif 26459-26459 | |
(termFormat EnglishLanguage graphPart "graph part") | domainEnglishFormat.kif 26458-26458 |
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 5993-6006 | |
(=> (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 5979-5991 | |
(=> (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 6165-6176 | |
(=> (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))) (instance ?GRAPH MultiGraph)) |
Merge.kif 5790-5799 | |
(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1)))) |
Merge.kif 6062-6068 | |
(=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2)))) |
Merge.kif 5675-5683 | |
(=> (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 5630-5650 |
|
(=> (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 5726-5737 | |
(=> (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 5739-5750 | |
(=> (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)) (instance ?GRAPH PseudoGraph)) |
Merge.kif 5813-5817 | |
(=> (and (subGraph ?GRAPH1 ?GRAPH2) (graphPart ?ELEMENT ?GRAPH1)) (graphPart ?ELEMENT ?GRAPH2)) |
Merge.kif 5905-5909 |
consequent |
(=> (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 2846-2856 |
|
(=> (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 2858-2868 |
|
(=> (and (subGraph ?GRAPH1 ?GRAPH2) (graphPart ?ELEMENT ?GRAPH1)) (graphPart ?ELEMENT ?GRAPH2)) |
Merge.kif 5905-5909 | |
(=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC))))) |
Merge.kif 6157-6163 | |
(=> (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 5652-5666 |
|
(=> (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 5777-5788 | |
(=> (instance ?GRAPH PseudoGraph) (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)))) |
Merge.kif 5806-5811 | |
(=> (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 5706-5716 | |
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5698-5704 | |
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5690-5696 | |
(=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH)))) |
Merge.kif 5825-5830 |