TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2118-2118	The number 1 argument of share of is an instance of share
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2119-2119	The number 2 argument of share of is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2117-2117	share of is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4514-4514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4513-4513
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4512-4512
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52433-52433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52432-52432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52431-52431