Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

Sigma KEE - FinancialTransaction
FinancialTransaction(金融交易)

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 11836-11838
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 11834-11834 金融交易交易subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20489-20489 职业 的所得值 是 金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1799-1799 资产分配金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 507-507 自动交易金融交易subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11884-11884 打赌金融交易subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11890-11890 购买金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1424-1424 呼叫金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2833-2833 取消订单金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 890-890 收费金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 388-388 关闭帐户金融交易subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11872-11872 商业服务金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 353-353 控制一个帐户金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 426-426 存款金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2749 执行一个选项金融交易subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2396-2396 出口金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4125-4125 外部转移金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2829-2829 填写订单金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2146-2146 财务违约金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3976-3976 财务要求金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3980-3980 财务回应金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4138-4138 内部转移金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 483-483 投资金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2069-2069 清算金融交易subclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 284-284 穆哈尔萨达克金融交易subclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 304-304 穆卡达姆萨达克金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 290-290 开户金融交易subclass

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 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3879-3879 确认号码 的 1 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1705-1705 eCommerceSite 的 1 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7204-7204 的 1 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1965 订购给 的 1 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7602-7602 利润 的 1 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 895-895 服务费 的 2 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 11850-11850 交易金额 的 1 数量 是 金融交易instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3991-3991 每日限额 的 2 数量 是 金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 680-680 最低余额 的 2 数量 是 金融交易subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20497-20497 占用 的 2 数量 是 金融交易subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1966 订购给 的 2 数量 是 金融交易subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1129-1142
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1247
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1033-1041
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3516-3523
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3543-3554
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1727-1746
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1759-1778
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1791-1810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3959-3966
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3907-3914
No TPTP formula. May not be expressible in strict first order. Merge.kif 11840-11845

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7727-7733 施事体 有认知的主事customer 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 施事体那个 过程agent那个 过程那个 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程金融交易instance 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程另一个 有认知的主事 结束
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 10631-10643
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 29474-29485
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 1974-1984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22441-22447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22560-22574
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7083-7089
No TPTP formula. May not be expressible in strict first order. Dining.kif 388-407


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners