Broker
|
|
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 | 经纪人 是 地位 的 instance |
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 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1981-1990 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2058-2063 |
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 |