graphMeasure - Sigma Knowledge base Browser

antecedent

(=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC)))))	Merge.kif 6276-6282	If X is the unit in Y, then For all GraphElement Z: Z is a part of Y and there exists W such that the abstract counterpart of W is Z
(=> (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 6284-6295	If All of the following hold: (1) X is the unit in Y (2) Z is an instance of graph node (3) Z is a part of Y (4) W is a part of Y (5) W is an instance of graph arc (6) the abstract counterpart of V is Z (7) the abstract counterpart of U is W (8) the value of W is T, then the measure of U is T X(s)

(instance graphMeasure BinaryPredicate)	Merge.kif 6267-6267	graph measure is an instance of binary predicate
(domain graphMeasure 1 Graph)	Merge.kif 6268-6268	The number 1 argument of graph measure is an instance of graph
(domain graphMeasure 2 UnitOfMeasure)	Merge.kif 6269-6269	The number 2 argument of graph measure is an instance of unit of measure
(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 6271-6274	The number 2 argument of graph measure is an instance of unit of measure

(format EnglishLanguage graphMeasure "%2 is the unit in %1")	domainEnglishFormat.kif 3542-3542
(format ChineseTraditionalLanguage graphMeasure "%2 是 unit 在 %1 ")	domainEnglishFormat.kif 3543-3543
(format ChineseLanguage graphMeasure "%2 是 unit 在 %1 ")	domainEnglishFormat.kif 3544-3544
(termFormat EnglishLanguage graphMeasure "graph measure")	domainEnglishFormat.kif 65854-65854