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(Laco do Grafo)

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 5855-5856
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 1790-1790
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5853-5853	Laco do Grafo e' uma sub-classe de Arco do Grafo

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.	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 5814-5818	Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo Grafo e' uma instancia de Pseudo-grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5858-5861	Arco do Grafo e' uma instancia de Laco do Grafo No' do Grafo Arco do Grafo liga No' do Grafo e No' do Grafo

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5867-5871	O no' initial Arco do Grafo e' igual a No' do Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo Arco do Grafo e' uma instancia de Laco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5807-5812	Grafo e' uma instancia de Pseudo-grafo Elemento do Grafo Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5691-5697	Grafo e' uma instancia de Arvore Elemento do Grafo Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5863-5865	Arco do Grafo liga No' do Grafo e No' do Grafo Arco do Grafo e' uma instancia de Laco do 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