TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23629-23632
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23634-23634	The number 1 argument of birthplace is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23635-23635	The number 2 argument of birthplace is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23633-23633	birthplace is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 312-312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 311-311
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 310-310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11186-11186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11185-11185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11184-11184

antecedent

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

Mid-level-ontology.kif 23637-23643

consequent

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

Mid-level-ontology.kif 30038-30045