TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2228-2229
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4708-4710
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4705-4705	The number 1 argument of cosine is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4704-4704	Cosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4703-4703	Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	engineering.kif 140-140
No TPTP formula. May not be expressible in strict first order.	engineering.kif 139-139
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4706-4706	The range of cosine is an instance of real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 692-692
No TPTP formula. May not be expressible in strict first order.	english_format.kif 694-694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17433-17433
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 693-693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17432-17432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17431-17431

consequent

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

Merge.kif 5139-5145

statement

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

Merge.kif 5165-5165