TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2378-2379
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6074-6076
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1056-1058
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6071-6071	O argumento numero 1 de CutSetFn e' uma instancia de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6070-6070	CutSetFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6072-6072	Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 777-777
No TPTP formula. May not be expressible in strict first order.	english_format.kif 777-777
No TPTP formula. May not be expressible in strict first order.	french_format.kif 468-468
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 63-63
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2172-2172
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 420-420
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 1006-1006
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 490-490
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 538-538
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 97-97
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6081-6081	MinimalCutSetFn e' relacionado internamente por SUMO a CutSetFn
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 778-778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18222-18222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18221-18221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18220-18220
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 143-143

consequent

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

Merge.kif 6087-6089

Grafo e' uma instancia de Grafo
o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos e' uma sub-classe de o conjunto de caminhos que dividem Grafo em dois grafos distintos

statement

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

Merge.kif 6099-6106

Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: