TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2287-2288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5296-5297
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5293-5293	The number 1 argument of subset is an instance of set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5294-5294	The number 2 argument of subset is an instance of set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5292-5292	subset is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5291-5291	subset is a subrelation of subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 486-486
No TPTP formula. May not be expressible in strict first order.	english_format.kif 491-491
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 487-487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55778-55778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55777-55777

antecedent

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

Merge.kif 5299-5303

consequent

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

Merge.kif 5305-5309