PseudoGraph - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2338-2339
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5804-5805
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1012-1013
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1941-1941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5802-5802	Pseudo-grafo e' uma sub-classe de Grafo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 939-939
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1085-1085
No TPTP formula. May not be expressible in strict first order.	french_format.kif 615-615
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 146-146
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 149-149
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2300-2300
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 567-567
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 183-183
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 636-636
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 150-150

antecedent

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

Merge.kif 5807-5812

consequent

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

Merge.kif 5814-5818