GraphArc - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GraphArc

GraphArc(graph arc)

asymptote, center_line, centerline, chord, connection, connexion, diagonal, diameter, element, element_of_a_cone, element_of_a_cylinder, geodesic, geodesic_line, link, perimeter, perpendicular, radius, ray, secant, straight_line, vector

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2344-2345
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5526-5527
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1789-1789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5524-5524	Graph arc is a subclass of graph element

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5534-5534	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 942-942
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1096-1096

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5602-5602	The number 1 argument of initial node is an instance of graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5612-5612	The number 1 argument of terminal node is an instance of graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5644-5644	The number 1 argument of arc weight is an instance of graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5553-5553	The number 3 argument of links is an instance of graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5502-5502	Graph element is exhaustively partitioned into graph node and graph arc

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5851-5861	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 an object is the graph arc and the value of the graph arc is a real number the unit of measure(s), then the measure of the object is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5383-5391	If a graph is an instance of directed graph and a graph arc is an instance of graph arc and the graph arc is a part of the graph, then there exist a graph node and another graph node such that the starting node of the graph arc is equal to the graph node and the terminal node of the graph arc is equal to the other graph node
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5434-5444	If a graph is an instance of graph path and a graph arc is an instance of graph arc and the graph arc is a part of the graph, then if the starting node of the graph arc is equal to a graph node, then there doesn't exist another graph arc such that the starting node of the other graph arc is equal to the graph node and the other graph arc is not equal to the graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5446-5456	If a graph is an instance of graph path and a graph arc is an instance of graph arc and the graph arc is a part of the graph, then if the terminal node of the graph arc is equal to a graph node, then there doesn't exist another graph arc such that the terminal node of the other graph arc is equal to the graph node and the other graph arc is not equal to the graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5529-5532	If a graph arc is an instance of graph arc, then there exist a graph node and another graph node such that the graph arc links the graph node and the other graph node

consequent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 2824-2834

If a physical system is an instance of transit system and a physical is an instance of transitway and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical,
then there exists the graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph

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

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