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

Formal Language: 



KB Term:  Term intersection
English Word: 

  graphMeasure

 Sigma KEE - graphMeasure
graphMeasure

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 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 is open source software produced by Articulate Software and its partners