| 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 6119-6122 | |
| (domain graphMeasure 1 Graph) | Merge.kif 6116-6116 | |
| (domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6117-6117 | |
| (instance graphMeasure BinaryPredicate) | Merge.kif 6115-6115 |
| 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 65936-65936 |
| 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 6132-6143 | |
| (=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC))))) |
Merge.kif 6124-6130 |
|
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