RectusAbdominisMuscle
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1148-1152 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1147-1147 | MutualFundAccount est une sous-classe de InvestmentAccount |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39495-39495 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39494-39494 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39493-39493 |