TreeView Knowledge Base Browser - monetaryValue

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - monetaryValue

monetaryValue

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2668-2669
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7808-7810
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1388-1389
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7805-7805	货币价值的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7806-7806	货币价值的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7803-7803	货币价值是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7804-7804	货币价值是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7802-7802	货币价值是单值关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 627-627
No TPTP formula. May not be expressible in strict first order.	english_format.kif 630-630
No TPTP formula. May not be expressible in strict first order.	french_format.kif 378-378
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 193-193
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2112-2112
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 387-387
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 822-822
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 231-231
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 400-400
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 420-420
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 371-371
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	评估价值是货币价值的 subrelation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3476-3476	最终价格是货币价值的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 628-628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38354-38354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38353-38353
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 372-372

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	如果施事体是过程的 agent 和客体是那个过程的源头和物理是那个过程的 patient 和那个物理的价值是货币测量，然后有存在金融交易这样那个金融交易%n是那个过程的subProcess 和那个金融交易是付款的 instance 和那个货币测量是那个金融交易的 transaction 总额和那个施事体是那个金融交易的源头和那个金融交易在那个客体结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 818-828	如果实数测量单位是贷款的 down 费用和客体是给那个贷款购买的 loan 和那个客体的价值是另一个实数那个测量单位和第三实数 equal (那个另外实数和那个实数)，然后那个第三实数那个测量单位是那个贷款的 original 金额
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 340-351	如果过程是存款支票的 instance 和校验是那个过程的 patient 和那个校验是校验的 instance 和金融账户是那个校验的 check 帐户和那个校验的价值是货币测量，然后有存在金融交易这样那个金融交易是存款的 instance 和那个金融交易在那个金融账户的 currency 结束和那个货币测量是那个金融交易的 transaction 总额
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 104-118	如果校验的价值是货币测量和金融账户是那个校验的 check 帐户和过程是处理检查的 instance 和那个校验是那个过程的 patient 和那个过程出现的 time equal 那个过程Time，然后有存在金融交易和那个金融交易Time 这样那个金融交易是退出的 instance 和那个校验是导致那个金融交易的 instrument 和那个金融交易出现的 time equal 那个金融交易Time 和那个过程Time 接着那个金融交易Time 和那个货币测量是那个金融交易的 transaction 总额和那个金融账户是那个金融交易的源头
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.	Merge.kif 7829-7833	如果施事体的财产的价值是货币测量，然后属于那个施事体的资产值 equal 那个货币测量

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16211	如果实体是法律奖励的 instance 和那个实体提到过程和那个过程是法律诉讼的 instance 和有认知的主事是那个过程的 agent，然后那个实体允许那个有认知的主事执行有存在另一个实体，第三实体， and 和第四实体这样那个另外实体是获得的 instance 和那个有认知的主事经历了那个另外实体和那个第三实体是那个另外实体的 patient 和那个第三实体的价值是那个第四实体的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23827-23844	如果过程是保存的 instance 和客体是那个过程的 patient 和施事体是那个过程的 agent，然后有存在实数，另一个实数， and 和实体这样那个实体是 UnitOfCurrency 的 instance 和那个客体的价值是那个实数那个实体在那个过程出现的 time 的开始 holdsDuring 和那个客体的价值是那个另外实数那个实体在那个过程出现的 time 的结束 holdsDuring 和那个施事体 possesses 那个客体和那个实数是 lessThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7823-7827	如果属于施事体的资产值 equal 货币测量，然后那个施事体的财产的价值是那个货币测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23855-23858	如果施事体有 asset 客体，然后有存在货币测量这样那个客体的价值是那个货币测量
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	如果每个东西的 value 由施事体购买的对于机构在期间时距是货币测量，然后物理的价值是那个货币测量和那个物理是符号串所描述的类别的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2998-3010	如果 grossMerchandiseSoldInPeriod 施事体, 机构, 货币测量 and 时距，然后物理的价值是那个货币测量和那个物理是符号串所描述的类别的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 47-50	如果物理是金融资产的 instance，然后有存在货币测量这样那个物理的价值是那个货币测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15676-15679	如果物理是货币的 instance，然后有存在货币测量这样那个物理的价值是那个货币测量
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3481-3484	如果物理是货币的 instance，然后有存在货币测量这样那个物理的价值是那个货币测量
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 94-97	如果物理是校验的 instance，然后有存在货币测量这样那个物理的价值是那个货币测量
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2104-2124	如果过程是 CurrencyExchangeService 的 instance，然后有存在实体，另一个实体,，，第三实体,，，第四实体,，，施事体,，，第五实体,，，第六实体,，，第七实体， and 和第八实体这样那个施事体是那个过程的 agent 和那个另外实体不 equal 那个第四实体和那个实体是货币测量的 instance 和那个第三实体是货币测量的 instance 和那个第五实体的价值是那个实体和那个施事体 possesses 那个第五实体和那个实体 equal 那个第七实体那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个第六实体的价值是那个第三实体和那个施事体 possesses 那个第六实体和那个施事体 doesn't possesses 那个第五实体和那个第三实体 equal 那个第八实体那个第四实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11879-11884	如果货币测量是金融交易的 transaction 总额，然后有存在物理这样那个物理是那个金融交易的 patient 和那个物理的价值是那个货币测量

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