TreeView Knowledge Base Browser - GraphCircuit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GraphCircuit

GraphCircuit(Circuito do Grafo)

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 5755-5757
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 5753-5753	Circuito do Grafo e' uma sub-classe de Caminho do Grafo

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 5759-5764

Caminho do Grafo e' uma instancia de Circuito do Grafo
No' do Grafo o comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5766-5770	O comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo Caminho do Grafo e' uma instancia de Circuito do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5699-5705	Grafo e' uma instancia de Arvore Elemento do Grafo Elemento do Grafo e' uma instancia de Circuito do Grafo Elemento do Grafo e' uma &parte de Grafo

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