TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2649-2650
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7247-7248
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7252-7252	The number 1 argument of center of circle is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7251-7251	Center of circle is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7250-7250	Center of circle is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7253-7253	The range of center of circle is an instance of geometric point

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 404-404
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 403-403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 402-402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13702-13702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13701-13701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13700-13700

antecedent

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

Mid-level-ontology.kif 5269-5274

consequent

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

Merge.kif 7242-7245