TreeView Knowledge Base Browser - graphMeasure

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 6153-6156
(documentation graphMeasure JapaneseLanguage "(graphMeasure ?GRAPH ?MEAS) は、特定の Graph の arcWeight に使用される UnitOfMeasure を修正する。このような関係を示すには、特定のグラフの構成要素が Physical Entity のセットの abstractCounterpart であることを伴う。")	japanese_format.kif 1071-1073
(domain graphMeasure 1 Graph)	Merge.kif 6150-6150	The number 1 argument of graph measure is an instance of graph
(domain graphMeasure 2 UnitOfMeasure)	Merge.kif 6151-6151	The number 2 argument of graph measure is an instance of unit of measure
(instance graphMeasure BinaryPredicate)	Merge.kif 6149-6149	graph measure is an instance of binary predicate

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 65840-65840

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 6166-6177	If an unit of measure is the unit in a graph and a graph element is an instance of graph node and the graph element is a part of the graph and a graph arc is a part of the graph and the graph arc is an instance of graph arc and the abstract counterpart of a physical is the graph element and the abstract counterpart of another physical is the graph arc and the value of the graph arc is a real number, then the measure of the other physical is the real number the unit of measure(s)
(=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC)))))	Merge.kif 6158-6164	If an unit of measure is the unit in a graph, then for all a graph element the graph element is a part of the graph and there exists a physical such that the abstract counterpart of the physical is the graph element

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