No TPTP formula. May not be expressible in strict first order. |
Dining.kif 429-429 |
子類 BankCardPayment and 付款 |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 451-451 |
子類 CashPayment and 付款 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2074-2074 |
子類 股利 and 付款 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 830-830 |
子類 預付款 and 付款 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1864-1864 |
子類 Repayment and 付款 |
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 |
|