TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4806-4809
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4810-4810	O argumento numero 1 de sliceOfFigure e' uma instancia de TwoDimensionalObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4811-4811	O argumento numero 2 de sliceOfFigure e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4805-4805	sliceOfFigure e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2307-2307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2306-2306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2305-2305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53390-53390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53389-53389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53388-53388