TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4775-4777
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4773-4773	The number 1 argument of tangent is an instance of one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4774-4774	The number 2 argument of tangent is an instance of two dimensional object
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 4772-4772	tangent is an instance of binary predicate

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 56900-56900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56899-56899

antecedent

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

Mid-level-ontology.kif 4779-4790

consequent

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

Mid-level-ontology.kif 4814-4828