Graph(graph) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Graph ChineseLanguage "这是图的 Class,我们可以把图理解成一组由 GraphArc 联系 的 GraphNode。注:这个 Class 只包括连通图,即是两个 GraphNode 之间有一个 GraphPath 的图, 也要注意的是每一个 Graph 需要拥有起码两个 GraphArc 和三个 GraphNode。") | chinese_format.kif 2323-2325 | |
(documentation Graph EnglishLanguage "The Class of graphs, where a graph is understood to be a set of GraphNodes connected by GraphArcs. Note that this Class includes only connected graphs, i.e. graphs in which there is a GraphPath between any two GraphNodes. Note too that every Graph is required to contain at least two GraphArcs and three GraphNodes.") | Merge.kif 5619-5623 | |
(documentation Graph JapaneseLanguage "グラフの Clas は、グラフが GraphArcs によって接続 された GraphNode のセットであると理解される。注1:この Class には、接続されたグラフのみが含ま れる。 すなわち、グラフは、任意の2つの間にあるGraphPath内にある。注2:すべての Graph には 少なくとも2つの GraphArcs と 3つの GraphNodes が含まれている必要がある。") | japanese_format.kif 996-999 | |
(subclass Graph Proposition) | Merge.kif 5617-5617 | Graph est une sous-classe de proposition |
appearance as argument number 2 |
![]() |
(subclass DirectedGraph Graph) | Merge.kif 5663-5663 | Graph dirig�e est une sous-classe de graph |
(subclass MultiGraph Graph) | Merge.kif 5766-5766 | Multi graph est une sous-classe de graph |
(subclass PseudoGraph Graph) | Merge.kif 5796-5796 | Pseudo graph est une sous-classe de graph |
(termFormat ChineseLanguage Graph "图") | chinese_format.kif 933-933 | Pseudo graph est une sous-classe de graph |
(termFormat EnglishLanguage Graph "graph") | english_format.kif 1073-1073 | Pseudo graph est une sous-classe de graph |
(termFormat FrenchLanguage Graph "graph") | french_format.kif 609-609 | Pseudo graph est une sous-classe de graph |
(termFormat Hindi Graph "aalekha") | terms-hindi.txt 140-140 | Pseudo graph est une sous-classe de graph |
(termFormat ItalianLanguage Graph "Grafo") | terms-it.txt 143-143 | Pseudo graph est une sous-classe de graph |
(termFormat JapaneseLanguage Graph "グラフ") | japanese_format.kif 2294-2294 | Pseudo graph est une sous-classe de graph |
(termFormat PortugueseLanguage Graph "Grafo") | portuguese_format.kif 561-561 | Pseudo graph est une sous-classe de graph |
(termFormat cb Graph "agi") | terms-cb.txt 145-145 | Pseudo graph est une sous-classe de graph |
(termFormat cz Graph "graph") | terms-cz.txt 177-177 | Pseudo graph est une sous-classe de graph |
(termFormat ro Graph "graf") | relations-ro.kif 630-630 | Pseudo graph est une sous-classe de graph |
(termFormat tg Graph "talaguhitan") | terms-tg.txt 144-144 | Pseudo graph est une sous-classe de graph |
appearance as argument number 3 |
![]() |
(domain CutSetFn 1 Graph) | Merge.kif 6066-6066 | Le nombre 1 argument de CutSetFn est une instance de graph |
(domain MinimalCutSetFn 1 Graph) | Merge.kif 6074-6074 | Le nombre 1 argument de MinimalCutSetFn est une instance de graph |
(domain graphMeasure 1 Graph) | Merge.kif 6144-6144 | Le nombre 1 argument de graphMeasure est une instance de graph |
(domain graphPart 2 Graph) | Merge.kif 5884-5884 | Le nombre 2 argument de graphPart est une instance de graph |
(domain subGraph 1 Graph) | Merge.kif 5893-5893 | Le nombre 1 argument de subGraph est une instance de graph |
(domain subGraph 2 Graph) | Merge.kif 5894-5894 | Le nombre 2 argument de subGraph est une instance de graph |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH)))) |
Merge.kif 5820-5825 |
|
(=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS)))) |
Transportation.kif 3434-3439 |
|
![]() |
![]() |