GraphCircuit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GraphCircuit

GraphCircuit(graph circuit)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2334-2335
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5754-5756
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1008-1009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11095-11095
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10037-10037
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11094-11094
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11093-11093
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5752-5752	Graph circuit is a subclass of graph path

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 937-937
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1081-1081
No TPTP formula. May not be expressible in strict first order.	french_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 144-144
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 147-147
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2298-2298
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 565-565
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 181-181
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 634-634
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 148-148

antecedent

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

Merge.kif 5758-5763

If a graph path is an instance of graph circuit,
then there exists a graph node such that the beginning of the graph path is equal to the graph node and the end of the graph path is equal to the graph node

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5765-5769	If the beginning of a graph path is equal to a graph node and the end of the graph path is equal to the graph node, then the graph path is an instance of graph circuit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5698-5704	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

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