graphMeasure |
appearance as argument number 1 |
(documentation graphMeasure ChineseLanguage "(graphMeasure ?GRAPH ?MEAS)给一个 Graph 的 arcWeight 设定一个 UnitOfMeasure。说明这个关系意味着某个图的元件,是 Physical Entity 集合里 的 abstractCounterpart。") | chinese_format.kif 2391-2393 | |
(documentation graphMeasure EnglishLanguage "(graphMeasure ?GRAPH ?MEAS) fixes a UnitOfMeasure that is used for the arcWeight of a given Graph. Stating such a relationship entails that the components of given graph are the abstractCounterparts of sets of Physical Entity(ies).") | Merge.kif 6153-6156 | |
(documentation graphMeasure JapaneseLanguage "(graphMeasure ?GRAPH ?MEAS) は、特定の Graph の arcWeight に使用される UnitOfMeasure を修正する。このような関係を示すには、特定のグラフの 構成要素が Physical Entity のセットの abstractCounterpart であることを伴う。") | japanese_format.kif 1071-1073 | |
(domain graphMeasure 1 Graph) | Merge.kif 6150-6150 | |
(domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6151-6151 | |
(instance graphMeasure BinaryPredicate) | Merge.kif 6149-6149 |
appearance as argument number 2 |
(format ChineseLanguage graphMeasure "%2 是 unit 在 %1 ") | domainEnglishFormat.kif 3546-3546 | |
(format ChineseTraditionalLanguage graphMeasure "%2 是 unit 在 %1 ") | domainEnglishFormat.kif 3545-3545 | |
(format EnglishLanguage graphMeasure "%2 is the unit in %1") | domainEnglishFormat.kif 3544-3544 | |
(termFormat EnglishLanguage graphMeasure "graph measure") | domainEnglishFormat.kif 65840-65840 |
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 6166-6177 | |
(=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC))))) |
Merge.kif 6158-6164 |