| 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 | The number 1 argument of graph measure is an instance of graph |
| (domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6151-6151 | The number 2 argument of graph measure is an instance of unit of measure |
| (instance graphMeasure BinaryPredicate) | Merge.kif 6149-6149 | graph measure is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage graphMeasure "%2 是 unit 在 %1 ") | domainEnglishFormat.kif 3540-3540 | |
| (format ChineseTraditionalLanguage graphMeasure "%2 是 unit 在 %1 ") | domainEnglishFormat.kif 3539-3539 | |
| (format EnglishLanguage graphMeasure "%2 is the unit in %1") | domainEnglishFormat.kif 3538-3538 | |
| (termFormat EnglishLanguage graphMeasure "graph measure") | domainEnglishFormat.kif 65891-65891 |
| antecedent |
|
|
|
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