GraphElement - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2340-2341
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5822-5823
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1014-1015
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 5820-5820	O conceito Elemento do Grafo e' completamente decomposto em No' do Grafo + Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5819-5819	Elemento do Grafo e' uma sub-classe de Proposicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5842-5842	Arco do Grafo e' uma sub-classe de Elemento do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5832-5832	No' do Grafo e' uma sub-classe de Elemento do Grafo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 940-940
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1087-1087
No TPTP formula. May not be expressible in strict first order.	french_format.kif 616-616
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 147-147
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 150-150
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2301-2301
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 568-568
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 152-152
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 184-184
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 637-637
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 151-151

appearance as argument number 3

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

Merge.kif 5888-5888

O argumento numero 1 de graphPart e' uma instancia de Elemento do Grafo

antecedent

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

Merge.kif 5825-5830