TreeView Knowledge Base Browser - GraphLoop

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GraphLoop

GraphLoop(graph loop)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2346-2346
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5879-5880
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1020-1021
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 5877-5877	Graph loop is a subclass of graph arc

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 943-943
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1093-1093
No TPTP formula. May not be expressible in strict first order.	french_format.kif 619-619
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 150-150
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 153-153
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2304-2304
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 571-571
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 446-446
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 640-640
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 154-154

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5838-5842	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 5882-5885	If a graph arc is an instance of graph loop, then there exists a graph node such that the graph arc links the graph node and the graph node

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5891-5895	If equal the starting node of a graph arc and a graph node and equal the terminal node of the graph arc and the graph node, then the graph arc is an instance of graph loop
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5831-5836	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 5715-5721	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 5887-5889	If a graph arc links a graph node and the graph node, then the graph arc is an instance of graph loop

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