Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| arcWeight |
| appearance as argument number 1 |
|
| (instance arcWeight BinaryPredicate) | Merge.kif 6081-6081 | arc weight is an instance of binary predicate |
| (instance arcWeight SingleValuedRelation) | Merge.kif 6082-6082 | arc weight is an instance of single valued relation |
| (domain arcWeight 1 GraphArc) | Merge.kif 6083-6083 | The number 1 argument of arc weight is an instance of graph arc |
| (domain arcWeight 2 RealNumber) | Merge.kif 6084-6084 | The number 2 argument of arc weight is an instance of real number |
| (documentation arcWeight EnglishLanguage "This predicate indicates the value of a GraphArc in a Graph. This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.") | Merge.kif 6086-6088 | The number 2 argument of arc weight is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage arcWeight "arc weight") | domainEnglishFormat.kif 8278-8278 | |
| (termFormat ChineseTraditionalLanguage arcWeight "弧重") | domainEnglishFormat.kif 8279-8279 | |
| (termFormat ChineseLanguage arcWeight "弧重") | domainEnglishFormat.kif 8280-8280 | |
| (format EnglishLanguage arcWeight "the value of %1 is %n %2") | english_format.kif 757-757 |
| 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 6098-6110 | If equal the value of X and Y, Z is a subgraph of X, W is a part of X, the value of W is V, and For all GraphElement U: if U is a part of X, then U is a part of Z or equal U and W, then equal Y and (the value of Z and V) |
| (=> (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 6112-6125 | If All of the following hold: (1) equal the value of X and Y (2) Z is a part of X (3) W is a part of X (4) the value of Z is V (5) the value of W is U (6) For all GraphElement T: if T is a part of X, then equal T and Z or equal T and W, then equal the value of X and (V and U) |
| (=> (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 6284-6295 | If All of the following hold: (1) X is the unit in Y (2) Z is an instance of graph node (3) Z is a part of Y (4) W is a part of Y (5) W is an instance of graph arc (6) the abstract counterpart of V is Z (7) the abstract counterpart of U is W (8) the value of W is T, then the measure of U is T X(s) |
|