| 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 6138-6141 | |
| (documentation graphMeasure JapaneseLanguage "(graphMeasure ?GRAPH ?MEAS) は、特定の Graph の arcWeight に使用される UnitOfMeasure を修正する。このような関係を示すには、特定のグラフの 構成要素が Physical Entity のセットの abstractCounterpart であることを伴う。") | japanese_format.kif 1071-1073 | |
| (domain graphMeasure 1 Graph) | Merge.kif 6135-6135 | Le nombre 1 argument de graphMeasure est une instance de graph |
| (domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6136-6136 | Le nombre 2 argument de graphMeasure est une instance de unit� de mesure |
| (instance graphMeasure BinaryPredicate) | Merge.kif 6134-6134 | graphMeasure est une instance de pr�dicat binaire |
| 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 65850-65850 |
| 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 6151-6162 |
|
| (=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC))))) |
Merge.kif 6143-6149 |
|
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