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 5869-5870
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1018-1019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1787-1787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5867-5867	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 5877-5877	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 942-942	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1091-1091	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	french_format.kif 618-618	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 149-149	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 152-152	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2303-2303	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 570-570	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 186-186	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 445-445	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 639-639	Graph loop is a subclass of graph arc
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 153-153	Graph loop is a subclass of graph arc

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5947-5947	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 5957-5957	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 5989-5989	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 5900-5900	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 5845-5845	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 6190-6201	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 5700-5708	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 equal the starting node of the graph arc and the graph node and equal the terminal node of the graph arc and the other graph node
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5751-5762	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 and equal the starting node of the graph arc and a graph node, then there doesn't exist another graph arc such that equal the starting node of the other graph arc and the graph node and equal the other graph arc and the graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5764-5775	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 and equal the terminal node of the graph arc and a graph node, then there doesn't exist another graph arc such that equal the terminal node of the other graph arc and the graph node and equal the other graph arc and the graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5872-5875	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 3444-3454

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