MuseumsHistoricalSitesAndSimilarInstitutions
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3095-3096 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11882-11884 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1866-1867 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11880-11880 | 子類 FinancialTransaction and Transaction |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20516-20516 | 範圍子類 職業 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1799-1799 | 子類 資產分配 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 507-507 | 子類 自動交易 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11930-11930 | 子類 Betting and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11936-11936 | 子類 Buying and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1424-1424 | 子類 呼叫 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2833-2833 | 子類 取消訂單 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 890-890 | 子類 收費 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 388-388 | 子類 關閉帳戶 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11918-11918 | 子類 商業服務 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 353-353 | 子類 控制一個帳戶 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 426-426 | 子類 存款 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2749-2749 | 子類 執行一個選項 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2396-2396 | 子類 出口 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4125-4125 | 子類 外部轉移 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2829-2829 | 子類 填寫訂單 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2146-2146 | 子類 財務違約 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3976-3976 | 子類 財務要求 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3980-3980 | 子類 財務回應 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4138-4138 | 子類 內部轉移 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 483-483 | 子類 投資 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2069-2069 | 子類 清算 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 284-284 | 子類 穆哈爾薩達克 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 304-304 | 子類 穆卡達姆薩達克 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | 子類 開戶 and FinancialTransaction |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1685-1685 | 域 broker, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3879-3879 | 域 確認號碼, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1705-1705 | 域 eCommerceSite, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7231-7231 | 域 失, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1965-1965 | 域 訂購給, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7629-7629 | 域 利潤, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 895-895 | 域 服務費, 2 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11896-11896 | 域 交易金額, 1 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3991-3991 | 域子類 每日限額, 2 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 680-680 | 域子類 最低餘額, 2 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20524-20524 | 域子類 佔用, 2 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1966-1966 | 域子類 訂購給, 2 and FinancialTransaction |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7754-7760 | AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3635-3642 | CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1637-1641 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10665-10677 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1192-1207 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3885-3895 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29525-29536 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3386-3393 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1967-1977 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22493-22499 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22612-22626 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7110-7116 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 388-407 |
|