| appearance as argument number 1 |
|
| (documentation arcWeight ChineseLanguage "这个谓词表示 GraphArc 在一个 Graph 的值。 这可以 表示一个道路网络的长度，或者是管道系统内管道的流量。") | chinese_format.kif 2368-2369 | |
| (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 5958-5960 | |
| (documentation arcWeight JapaneseLanguage "この述部は、Graph の GraphArc の値を示す。これ は、ロードネットワーク内のロードの長さ、または配管システムのパイプの流動率にマップできる。") | japanese_format.kif 1045-1046 | |
| (domain arcWeight 1 GraphArc) | Merge.kif 5955-5955 | |
| (domain arcWeight 2 RealNumber) | Merge.kif 5956-5956 | |
| (instance arcWeight BinaryPredicate) | Merge.kif 5953-5953 | |
| (instance arcWeight SingleValuedRelation) | Merge.kif 5954-5954 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage arcWeight "%1 的值 %n 是 %2") | chinese_format.kif 755-755 | |
| (format EnglishLanguage arcWeight "the value of %1 is %n %2") | english_format.kif 757-757 | |
| (format FrenchLanguage arcWeight "la valeur de %1 est %n %2") | french_format.kif 455-455 | |
| (format ItalianLanguage arcWeight "il valore di%1 è%2") | relations-it.txt 27-27 | |
| (format JapaneseLanguage arcWeight "%1 の value は %2 では %n") | japanese_format.kif 2163-2163 | |
| (format PortugueseLanguage arcWeight "o valor de %1 e' %n %2") | portuguese_format.kif 407-407 | |
| (format cb arcWeight "ang timbang ani %1 ug %2") | relations-cb.txt 61-61 | |
| (format de arcWeight "der wert von %1 ist %2") | relations-de.txt 975-975 | |
| (format hi arcWeight "%1 kaa maana %2 hai") | relations-hindi.txt 71-71 | |
| (format ro arcWeight "value%t{valoarea} lui %1 %n{nu} este %2") | relations-ro.kif 477-477 | |
| (format sv arcWeight "värdet av %1 är %2") | relations-sv.txt 520-520 | |
| (format tg arcWeight "ang halaga ng %1 at %2") | relations-tg.txt 70-70 | |
| (termFormat ChineseLanguage arcWeight "弧衡量") | chinese_format.kif 756-756 | |
| (termFormat ChineseLanguage arcWeight "弧重") | domainEnglishFormat.kif 8287-8287 | |
| (termFormat ChineseTraditionalLanguage arcWeight "弧重") | domainEnglishFormat.kif 8286-8286 | |
| (termFormat EnglishLanguage arcWeight "arc weight") | domainEnglishFormat.kif 8285-8285 | |
| (termFormat de arcWeight "arctusGewicht") | terms-de.txt 299-299 | |
| (termFormat tg arcWeight "halaga ng arko") | relations-tg.txt 71-71 |
| 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 5984-5997 | |
| (=> (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 5970-5982 | |
| (=> (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 6156-6167 |
|
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