shareHolder |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2124-2125 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2122-2122 | The number 1 argument of share holder is an instance of share |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2123-2123 | The number 2 argument of share holder is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2121-2121 | share 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 2259-2259 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2258-2258 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2257-2257 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52425-52425 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52424-52424 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52423-52423 |