Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CouncilOfArabEconomicUnity

 Sigma KEE - graphMeasure
graphMeasure

appearance as argument number 1
-------------------------


(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

appearance as argument number 2
-------------------------


(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

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)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners