BosniaAndHerzegovina
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 59-61 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10017-10017 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | 子類 金融賬戶 and Account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | 子類 金融賬戶 and 協議 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | 範圍 帳戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1013-1013 | 子類 企業帳戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | 子類 存款賬戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | 子類 計息賬戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1159-1159 | 子類 責任賬戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | 子類 養老金計劃 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | 子類 個人賬戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23732-23732 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23731-23731 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23730-23730 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 283-283 | 域 貨幣, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 230-230 | 域 帳號在, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 249-249 | 域 帳戶持有人, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3439-3439 | 域 帳號, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3999-3999 | 域 帳戶狀態, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4013-4013 | 域 管理員, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 649-649 | 域 到期金額, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3807-3807 | 域 可用餘額, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3830-3830 | 域 可用現金, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4091-4091 | 域 購買電量, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 237-237 | 域 卡帳戶, 2 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 243-243 | 域 檢查帳戶, 2 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 552-552 | 域 複利, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3871-3871 | 域 每期積分, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 672-672 | 域 目前賬戶餘額, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 614-614 | 域 目前的利率, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3990-3990 | 域 每日限額, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3801-3801 | 域 financialAccount, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 621-621 | 域 固定利率, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 522-522 | 域 利息收入, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 580-580 | 域 每期利率, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3898-3898 | 域 最後聲明, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4039-4039 | 域 最後陳述餘額, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1813-1813 | 域 流動性, 1 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4100-4100 | 域 餘額幅度, 1 and 金融賬戶 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2321-2326 | 例 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 account 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1818-1828 | 例 Process and 退出 例 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶 的 currency Process 例 Process and 罰款 目的地 Process and 金融賬戶 的 currency 原因 Process and Process 金融賬戶 的 liqudity 是 高流動性 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 76-84 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 686-699 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 701-714 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 436-453 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 408-424 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 466-481 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 120-135 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 834-842 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 63-67 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 69-74 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 188-196 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 391-401 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-306 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 459-464 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3903-3905 |