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 5770-5772
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5767-5767	The number 1 argument of cut set is an instance of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5766-5766	Cut set is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5768-5768	The values returned by cut set are subclasses of graph path

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 780-780
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5777-5777	Minimal cut set is internally related to cut set
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 18154-18154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18153-18153
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18152-18152

consequent

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

Merge.kif 5783-5785

If a graph is an instance of graph,
then the set of minimal paths that partition the graph into two separate graphs is a subclass of the set of paths that partition the graph into two separate graphs

statement

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

Merge.kif 5795-5802