TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4780-4782
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4778-4778	O argumento numero 1 de tangent e' uma instancia de OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4779-4779	O argumento numero 2 de tangent e' uma instancia de TwoDimensionalObject
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 971-971
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4777-4777	tangent e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 792-792
No TPTP formula. May not be expressible in strict first order.	english_format.kif 796-796
No TPTP formula. May not be expressible in strict first order.	french_format.kif 477-477
No TPTP formula. May not be expressible in strict first order.	english_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 429-429
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 499-499
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 793-793
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56898-56898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56897-56897

antecedent

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

Mid-level-ontology.kif 4784-4795

consequent

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

Mid-level-ontology.kif 4819-4833