TreeView Knowledge Base Browser

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	金融账户是 Account 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 58-58	金融账户是协议的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2317-2317	帐户的 range 是金融账户的实例
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1013-1013	企业帐户是金融账户的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1024-1024	存款账户是金融账户的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 968-968	计息账户是金融账户的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1159-1159	责任账户是金融账户的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1173-1173	养老金计划是金融账户的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 992-992	个人账户是金融账户的 subclass
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 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 230-230	帐号在的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 249-249	帐户持有人的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3439-3439	帐号的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3999-3999	帐户状态的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4013-4013	管理员的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 649-649	到期金额的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3807-3807	可用余额的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3830-3830	可用现金的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4091-4091	购买电量的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 237-237	卡帐户的 2 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 243-243	检查帐户的 2 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 552-552	复利的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3871-3871	每期积分的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 672-672	目前账户余额的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 614-614	目前的利率的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3990-3990	每日限额的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3801-3801	financialAccount 的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 621-621	固定利率的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 522-522	利息收入的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 580-580	每期利率的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3898-3898	最后声明的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4039-4039	最后陈述余额的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1813-1813	流动性的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4100-4100	余额幅度的 1 数量是金融账户的 instance

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	金融账户是金融账户的 instance 和有认知的主事 possesses 金融资产和那个金融账户 equal 那个金融资产的帐号若且唯若那个有认知的主事持有 account 那个金融账户
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	过程是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户的 currency 是那个过程的源头和不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程若且唯若那个金融账户的 liqudity 是高流动性
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 76-84	如果金融账户是金融账户的 instance 和那个金融账户是被金融机构 held ，然后有存在过程这样那个过程是控制一个帐户的 instance 和那个金融账户是那个过程的 patient 和那个金融机构是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	如果金融账户是金融账户的 instance 和那个金融账户是对于实数测量单位的 minimum 金额开户和那个测量单位是 UnitOfCurrency 的 instance，然后有存在金融交易，时点， and 和另一个实数这样那个金融交易在那个金融账户的 currency 结束和那个另外实数那个测量单位是那个金融交易的 transaction 总额和那个另外实数是 greaterThanOrEqualTo 那个实数和那个时点是那个金融账户的 agreement 生效日期和那个金融交易的 date 是那个时点
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	如果金融账户是金融账户的 instance 和那个金融账户是对于实数测量单位的 minimum 金额使用帐户和那个测量单位是 UnitOfCurrency 的 instance 和那个金融账户对于 %3 的 current 帐户存款和另一个实数是 lessThan 那个实数，然后有存在过程这样那个过程是罚款的 instance 和那个过程的 date 是日和那个过程在那个金融账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	如果金融交易是存款的 instance 和金融账户是金融账户的 instance 和那个金融交易在那个金融账户的 currency 结束和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	如果金融交易是付款的 instance 和金融账户的 currency 是那个金融交易的源头和那个金融账户是金融账户的 instance 和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	如果金融交易是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户是那个金融交易的源头和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	如果客体的价值是货币测量和过程是处理检查的 instance 和那个客体是那个过程的 patient 和那个过程在金融账户的 currency 结束和那个金融账户是金融账户的 instance 和那个过程出现的 time equal 那个过程Time，然后有存在金融交易和那个金融交易Time 这样那个金融交易是存款的 instance 和那个客体是导致那个金融交易的 instrument 和那个金融交易出现的 time equal 那个金融交易Time 和那个过程Time 接着那个金融交易Time 和那个货币测量是那个金融交易的 transaction 总额和那个金融交易在那个金融账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	如果货币测量是金融交易的 transaction 总额和那个金融交易的 date 是日和金融账户是金融账户的 instance 和那个金融交易在那个金融账户的 currency 结束和那个金融账户对于时距到期的 amount 那个货币测量和那个日的结束%n在那个时距的开始before发生，然后那个金融交易是预付款的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 63-67	如果实体是金融账户的 instance，然后那个实体有金融合约的 attribute 和那个实体有服务合同的 attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 69-74	如果金融账户是金融账户的 instance，然后有存在金融机构这样那个金融机构是金融机构的 instance 和那个金融账户是被那个金融机构 held

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 188-196	如果银行卡是银行卡的 instance 和金融机构是由那个银行卡的 issued ，然后有存在金融账户这样那个金融账户是金融账户的 instance 和那个金融账户是那个银行卡的 card 帐户和那个金融账户是被那个金融机构 held
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	如果过程是关闭帐户的 instance 和实体是那个过程的 patient，然后那个实体是金融账户的 instance 在紧接那个过程出现的 time before holdsDuring 和那个实体不是金融账户的 instance 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 293-306	如果过程是开户的 instance 和那个过程是 located 在金融机构和那个金融机构是金融机构的 instance 和有认知的主事是那个过程的 agent 和那个过程出现的 time equal 那个过程Time，然后有存在金融账户和那个金融账户Period 这样那个金融账户Period 是那个金融账户的 agreement 週期和那个过程Time 接着那个金融账户Period 和那个金融账户是金融账户的 instance 和那个金融账户是被那个金融机构 held 和那个有认知的主事持有 account 那个金融账户
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 459-464	如果过程是退出的 instance，然后有存在金融账户这样那个金融账户是金融账户的 instance 和那个金融账户的 currency 是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3903-3905	如果银行对帐单是金融账户的 last 声明，然后那个金融账户是金融账户的 instance

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

KB Term:			Term intersection

English Word: