| appearance as argument number 1 |
|
| (documentation subGraph ChineseLanguage "这是形容两个 Graph，而其中一个图是另外一个图的一部分时 的关系，(subGraph ?GRAPH1 ?GRAPH2)的意思是 ?GRAPH1 是 ?GRAPH2 的一部分。") | chinese_format.kif 2351-2352 | |
| (documentation subGraph EnglishLanguage "The relation between two Graphs when one Graph is a part of the other. (subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.") | Merge.kif 5868-5870 | |
| (domain subGraph 1 Graph) | Merge.kif 5865-5865 | |
| (domain subGraph 2 Graph) | Merge.kif 5866-5866 | |
| (instance subGraph BinaryPredicate) | Merge.kif 5862-5862 | |
| (instance subGraph ReflexiveRelation) | Merge.kif 5863-5863 | |
| (instance subGraph TransitiveRelation) | Merge.kif 5864-5864 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subGraph "%1 %n 是 %2 的 subGraph") | chinese_format.kif 751-751 | |
| (format EnglishLanguage subGraph "%1 is %n a subgraph of %2") | english_format.kif 753-753 | |
| (termFormat ChineseLanguage subGraph "子图") | chinese_format.kif 752-752 | |
| (termFormat ChineseTraditionalLanguage subGraph "子圖") | domainEnglishFormat.kif 55709-55709 | |
| (termFormat EnglishLanguage subGraph "sub graph") | domainEnglishFormat.kif 55708-55708 |
| antecedent |
|
|
| (=> (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 5946-5958 | |
| (=> (and (subGraph ?GRAPH1 ?GRAPH2) (graphPart ?ELEMENT ?GRAPH1)) (graphPart ?ELEMENT ?GRAPH2)) |
Merge.kif 5872-5876 |
| consequent |
|
|
| (=> (and (distanceOnPath ?DIST ?PATH) (pathInSystem ?PATH ?SYS) (routeStart ?START ?PATH) (routeEnd ?END ?PATH) (abstractCounterpart ?GRAPH ?SYS)) (exists (?S ?BN ?EN) (and (subGraph ?S ?GRAPH) (equal ?BN (BeginNodeFn ?GRAPH)) (equal ?EN (EndNodeFn ?GRAPH)) (abstractCounterpart ?BN ?START) (abstractCounterpart ?EN ?END)))) |
Transportation.kif 2806-2819 | |
| (=> (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 5597-5617 |
|
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