TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3988-3989
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17915-17916
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17913-17913	O argumento numero 1 de angleOfFigure e' uma instancia de TwoDimensionalAngle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17914-17914	O argumento numero 2 de angleOfFigure e' uma instancia de GeometricFigure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17912-17912	angleOfFigure e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17911-17911	angleOfFigure e' uma sub-relacao de geometricPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2802-2802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2801-2801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2800-2800
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7482-7482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7481-7481
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7480-7480

consequent

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

Mid-level-ontology.kif 4896-4904

appearance as argument number 0

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

Mid-level-ontology.kif 4920-4920