TreeView Knowledge Base Browser - OpenTwoDimensionalFigure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3976-3977
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17824-17825
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1881-1881
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17823-17823	OpenTwoDimensionalFigure est une sous-classe de TwoDimensionalFigure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17818-17818	TwoDimensionalFigure est compl�tement d�compos� en OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17827-17827	TwoDimensionalAngle est une sous-classe de OpenTwoDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42234-42234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42233-42233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42232-42232