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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2391-2393
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6152-6155
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1071-1073
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6149-6149	The number 1 argument of graph measure is an instance of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6150-6150	The number 2 argument of graph measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6148-6148	graph measure is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3546-3546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3545-3545
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3544-3544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65838-65838

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6165-6176	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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6157-6163	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