graphPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - graphPart

graphPart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2349-2350
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5901-5903
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1024-1026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5898-5898	The number 1 argument of graph part is an instance of graph element
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5899-5899	The number 2 argument of graph part is an instance of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5895-5895	graph part is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5894-5894	graph part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5897-5897	graph part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5896-5896	graph part is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 749-749
No TPTP formula. May not be expressible in strict first order.	english_format.kif 751-751
No TPTP formula. May not be expressible in strict first order.	french_format.kif 452-452
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 119-119
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2160-2160
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 404-404
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 465-465
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 966-966
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 159-159
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 474-474
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 517-517
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 246-246
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 750-750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26487-26487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26486-26486
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 296-296

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6003-6016	If the value of a graph path is equal to a real number and a graph arc is a part of the graph path and another graph arc is a part of the graph path and the value of the graph arc is another real number and the value of the other graph arc is a third real number and for all a graph element if the graph element is a part of the graph path, then the graph element is equal to the graph arc or the graph element is equal to the other graph arc , then the value of the graph path is equal to (the other real number and the third real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5989-6001	If the value of a graph path is equal to a real number and another graph path is a subgraph of the graph path and a graph arc is a part of the graph path and the value of the graph arc is another real number and for all a graph element if the graph element is a part of the graph path, then the graph element is a part of the other graph path or the graph element is equal to the graph arc , then the real number is equal to (the value of the other graph path and the other real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6175-6186	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 5800-5809	If a graph arc is a part of a graph and another graph arc is a part of the graph and a graph node is a part of the graph and another graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc, then the graph is an instance of multi graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6072-6078	If a graph element is a part of a graph and the graph is not an instance of directed graph, then the graph element is an instance of the set of paths between a graph node and another graph node if and only if the graph element is an instance of the set of paths between the other graph node and the graph node
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5685-5693	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 5640-5660	If a graph is an instance of graph and a graph node is an instance of graph node and another graph node is an instance of graph node and the graph node is a part of the graph and the other graph node is a part of the graph and the graph node is not equal to the other graph node, then there exist a graph arc and a graph path such that the graph arc links the graph node and the other graph node or the graph path is a subgraph of the graph and the graph path is an instance of graph path and the beginning of the graph path is equal to the graph node and the end of the graph path is equal to the other graph node or the beginning of the graph path is equal to the other graph node and the end of the graph path is equal to the graph node
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5736-5747	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 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 5749-5760	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 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 5823-5827	If a graph element is an instance of graph loop and the graph element is a part of a graph, then the graph is an instance of pseudo graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5915-5919	If a graph is a subgraph of another graph and a graph element is a part of the graph, then the graph element is a part of the other graph

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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3456-3466	If a physical system is an instance of transit system and a physical is an instance of transitway junction 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 graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5915-5919	If a graph is a subgraph of another graph and a graph element is a part of the graph, then the graph element is a part of the other graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6167-6173	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5662-5676	If a graph is an instance of graph, then there exist a graph node, another graph node,, , a third graph node,, , a graph arc and another graph arc such that the graph node is a part of the graph and the other graph node is a part of the graph and the third graph node is a part of the graph and the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the other graph node and the third graph node and the graph node is not equal to the other graph node and the other graph node is not equal to the third graph node and the graph node is not equal to the third graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5787-5798	If a graph is an instance of multi graph, then there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5816-5821	If a graph is an instance of pseudo graph, then there exists a graph element such that the graph element is an instance of graph loop and the graph element is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5716-5726	If a graph is an instance of tree, then there don't exist a graph arc, another graph arc and a graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the terminal node of the graph arc is equal to the graph node and the terminal node of the other graph arc is equal to the graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5708-5714	If a graph is an instance of tree, then there doesn't exist a graph element such that the graph element is an instance of graph circuit and the graph element is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5700-5706	If a graph is an instance of tree, then there doesn't exist a graph element such that the graph element is an instance of graph loop and the graph element is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5835-5840	If a graph element is an instance of graph element, then there exists a graph such that the graph is an instance of graph and the graph element 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