TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2214-2215
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2217-2217	The number 1 argument of stock holder is an instance of stock
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2218-2218	The number 2 argument of stock holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2216-2216	stock holder is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2363-2363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2362-2362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2361-2361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55392-55392
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55391-55391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55390-55390