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)给一个 GrapharcWeight 设定一个 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 6062-6065
(domain graphMeasure 1 Graph) Merge.kif 6059-6059 The number 1 argument of graphMeasure is an instance of graph
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6060-6060 The number 2 argument of graphMeasure is an instance of unit of measure
(instance graphMeasure BinaryPredicate) Merge.kif 6058-6058 graphMeasure is an instance of binary predicate

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


(format ChineseLanguage graphMeasure "%2 是 unit 在 %1 ") domainEnglishFormat.kif 3551-3551
(format ChineseTraditionalLanguage graphMeasure "%2 是 unit 在 %1 ") domainEnglishFormat.kif 3550-3550
(format EnglishLanguage graphMeasure "%2 is the unit in %1") domainEnglishFormat.kif 3549-3549

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 6075-6086
(=>
    (graphMeasure ?G ?M)
    (forall (?AC)
        (and
            (graphPart ?AC ?G)
            (exists (?PC)
                (abstractCounterpart ?AC ?PC)))))
Merge.kif 6067-6073


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