| GraphArc(グラフアーク)
| |
| appearance as argument number 1 |
|
|
| (documentation GraphArc ChineseLanguage "Graph 是由 GraphNode 和 GraphArc 组成，每个 GraphArc 都会联系两个 GraphNode。") | chinese_format.kif 2344-2345 | |
| (documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") | Merge.kif 5869-5870 | |
| (documentation GraphArc JapaneseLanguage "Graph は GraphNode および GraphArc で構成さ れる。すべての GraphArc は ２つの GraphNode をリンクする。") | japanese_format.kif 1018-1019 | |
| (externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n_graf.svg") | pictureList.kif 1787-1787 | |
| (subclass GraphArc GraphElement) | Merge.kif 5867-5867 | グラフアーク は グラフ要素 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass GraphLoop GraphArc) | Merge.kif 5877-5877 | グラフループ は グラフアーク の subclass では |
| (termFormat ChineseLanguage GraphArc "图弧") | chinese_format.kif 942-942 | グラフループ は グラフアーク の subclass では |
| (termFormat EnglishLanguage GraphArc "graph arc") | english_format.kif 1091-1091 | グラフループ は グラフアーク の subclass では |
| (termFormat FrenchLanguage GraphArc "arc du graph") | french_format.kif 618-618 | グラフループ は グラフアーク の subclass では |
| (termFormat Hindi GraphArc "chaapa aalekha") | terms-hindi.txt 149-149 | グラフループ は グラフアーク の subclass では |
| (termFormat ItalianLanguage GraphArc "arco del grafo") | terms-it.txt 152-152 | グラフループ は グラフアーク の subclass では |
| (termFormat JapaneseLanguage GraphArc "グラフアーク") | japanese_format.kif 2303-2303 | グラフループ は グラフアーク の subclass では |
| (termFormat PortugueseLanguage GraphArc "Arco do Grafo") | portuguese_format.kif 570-570 | グラフループ は グラフアーク の subclass では |
| (termFormat cz GraphArc "graph arc") | terms-cz.txt 186-186 | グラフループ は グラフアーク の subclass では |
| (termFormat de GraphArc "Graphbogen") | terms-de.txt 445-445 | グラフループ は グラフアーク の subclass では |
| (termFormat ro GraphArc "arc de graf") | relations-ro.kif 639-639 | グラフループ は グラフアーク の subclass では |
| (termFormat tg GraphArc "talaguhitang hubog") | terms-tg.txt 153-153 | グラフループ は グラフアーク の subclass では |
| appearance as argument number 3 |
|
|
| (domain InitialNodeFn 1 GraphArc) | Merge.kif 5947-5947 | InitialNodeFn の数値 1 引数は グラフアーク の instance では |
| (domain TerminalNodeFn 1 GraphArc) | Merge.kif 5957-5957 | TerminalNodeFn の数値 1 引数は グラフアーク の instance では |
| (domain arcWeight 1 GraphArc) | Merge.kif 5989-5989 | arcWeight の数値 1 引数は グラフアーク の instance では |
| (domain links 3 GraphArc) | Merge.kif 5900-5900 | links の数値 3 引数は グラフアーク の instance では |
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5845-5845 | グラフ要素 は グラフノード + グラフアーク に exhaustively partitioned |
| 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 6190-6201 | |
| (=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2)))) |
Merge.kif 5700-5708 | |
| (=> (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 5751-5762 | |
| (=> (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 5764-5775 | |
| (=> (instance ?ARC GraphArc) (exists (?NODE1 ?NODE2) (links ?NODE1 ?NODE2 ?ARC))) |
Merge.kif 5872-5875 |
| 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 3444-3454 |
|
|
|
|