TepehuaGroupLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2055-2056 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2054-2054 | Broker is an instance of position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12071-12071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12070-12070 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12069-12069 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1513-1517 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1573-1577 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1691-1693 |
|