Payment
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 404-406 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | 付款 是 金融交易 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 429-429 | BankCardPayment 是 付款 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 451-451 | CashPayment 是 付款 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2074-2074 | 股利 是 付款 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 830-830 | 预付款 是 付款 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1864-1864 | Repayment 是 付款 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44874-44874 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44873-44873 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44872-44872 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 249-249 | validPaymentType 的 2 数量 是 付款 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 408-424 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 487-499 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 655-667 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7158-7171 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 467-492 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 742-750 |