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

(documentation monetaryValue ChineseLanguage "这是一个 BinaryPredicate，它把一个 Object 或 Process 和以一个CurrencyMeasure来表示它的价值联系起来。")	chinese_format.kif 2668-2669
(documentation monetaryValue EnglishLanguage "A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure.")	Merge.kif 7808-7810
(documentation monetaryValue JapaneseLanguage "BinaryPredicate は、Object または Process を CurrencyMeasure のインスタンスとして表される値に関連付ける。")	japanese_format.kif 1388-1389
(domain monetaryValue 1 Physical)	Merge.kif 7805-7805	O argumento numero 1 de monetaryValue e' uma instancia de Fisico
(domain monetaryValue 2 CurrencyMeasure)	Merge.kif 7806-7806	O argumento numero 2 de monetaryValue e' uma instancia de Medida de Divisa
(instance monetaryValue AsymmetricRelation)	Merge.kif 7803-7803	monetaryValue e' uma instancia de Relacao Assimetrica
(instance monetaryValue BinaryPredicate)	Merge.kif 7804-7804	monetaryValue e' uma instancia de Predicado Binario
(instance monetaryValue SingleValuedRelation)	Merge.kif 7802-7802	monetaryValue e' uma instancia de Relacao com Valor Unico

appearance as argument number 2

(format ChineseLanguage monetaryValue "%1 的价值 %n 是 %2")	chinese_format.kif 627-627
(format EnglishLanguage monetaryValue "value of %1 is %n %2")	english_format.kif 630-630
(format FrenchLanguage monetaryValue "valeur de %1 est %n %2")	french_format.kif 378-378
(format ItalianLanguage monetaryValue "valore di %1 è %n %2")	relations-it.txt 193-193
(format JapaneseLanguage monetaryValue "%1 の value は %2 では %n")	japanese_format.kif 2112-2112
(format PortugueseLanguage monetaryValue "o valor de %1 e' %n %2")	portuguese_format.kif 330-330
(format cz monetaryValue "value of %1 %p{je} %n{nen�} %2")	relations-cz.txt 387-387
(format de monetaryValue "wert von %1 ist %n{nicht} %2")	relations-de.txt 822-822
(format hi monetaryValue "%1 kaa muulya %2 %n hai")	relations-hindi.txt 231-231
(format ro monetaryValue "value%t{valoarea} lui %1 %n{nu} este %2")	relations-ro.kif 400-400
(format sv monetaryValue "värdet av %1 är %n{inte} %2")	relations-sv.txt 420-420
(format tg monetaryValue "bale ng %1 %n ay %2")	relations-tg.txt 371-371
(subrelation appraisedValue monetaryValue)	FinancialOntology.kif 1483-1483	appraisedValue e' uma sub-relacao de monetaryValue
(subrelation finalPrice monetaryValue)	FinancialOntology.kif 3476-3476	finalPrice e' uma sub-relacao de monetaryValue
(termFormat ChineseLanguage monetaryValue "货币价值")	chinese_format.kif 628-628
(termFormat ChineseTraditionalLanguage monetaryValue "貨幣價值")	domainEnglishFormat.kif 38354-38354
(termFormat EnglishLanguage monetaryValue "monetary value")	domainEnglishFormat.kif 38353-38353
(termFormat tg monetaryValue "halaga ng salapi")	relations-tg.txt 372-372

antecedent

(=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller))))	FinancialOntology.kif 487-499	Processo e' um agente de AutonomousAgent Processo tem como origem Objeto Fisico e' um patient de Processo o valor de Fisico e' Medida de Divisa Transacao Financeira Transacao Financeira e' um sub-processo de Processo Transacao Financeira e' uma instancia de Payment transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira tem como origem AutonomousAgent Transacao Financeira termina em Objeto
(=> (and (downPayment ?Loan (MeasureFn ?Amount ?CUNIT)) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase (MeasureFn ?Value ?CUNIT)) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan (MeasureFn ?Balance ?CUNIT)))	FinancialOntology.kif 818-828	downPayment Loan and Numero Real Unidade de Medida(s) loanForPurchase Loan and Objeto o valor de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real) originalBalance Loan and Numero Real Unidade de Medida(s)
(=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount))))	FinancialOntology.kif 340-351	Processo e' uma instancia de DepositingACheck Check e' um patient de Processo Check e' uma instancia de Check checkAccount Check and FinancialAccount o valor de Check e' Medida de Divisa Transacao Financeira Transacao Financeira e' uma instancia de Deposit Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Medida de Divisa
(=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account))))	FinancialOntology.kif 104-118	O valor de Check e' Medida de Divisa checkAccount Check and FinancialAccount Processo e' uma instancia de ProcessingACheck Check e' um patient de Processo tempo de existencia de Processo e' igual a ProcessoTime Transacao Financeira Transacao FinanceiraTime Transacao Financeira e' uma instancia de Withdrawal Check e' um instrumento para Transacao Financeira tempo de existencia de Transacao Financeira e' igual a Transacao FinanceiraTime ProcessoTime encontra Transacao FinanceiraTime transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira tem como origem FinancialAccount
(=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit ?DepositTime) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account)))))	FinancialOntology.kif 120-135	O valor de Objeto e' Medida de Divisa Processo e' uma instancia de ProcessingACheck Objeto e' um patient de Processo Processo termina em CurrencyFn FinancialAccount FinancialAccount e' uma instancia de FinancialAccount tempo de existencia de Processo e' igual a ProcessoTime Transacao Financeira Transacao FinanceiraTime Transacao Financeira e' uma instancia de Deposit Objeto e' um instrumento para Transacao Financeira tempo de existencia de Transacao Financeira e' igual a Transacao FinanceiraTime ProcessoTime encontra Transacao FinanceiraTime transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira termina em CurrencyFn FinancialAccount
(=> (monetaryValue (PropertyFn ?PERSON) ?AMOUNT) (equal (WealthFn ?PERSON) ?AMOUNT))	Merge.kif 7829-7833	O valor de propriedade de AutonomousAgent e' Medida de Divisa valor da propriedade de AutonomousAgent e' igual a Medida de Divisa

consequent

(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
(=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))	Mid-level-ontology.kif 16199-16211	Entidade e' uma instancia de LegalAward Entidade inclui uma referencia a Processo Processo e' uma instancia de Acao Legal Processo e' um agente de Agente Cognitivo Entidade autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Obter Agente Cognitivo experimenta Entidade Entidade e' um patient de Entidade o valor de Entidade e' Entidade
(=> (and (instance ?S Saving) (patient ?S ?O) (agent ?S ?A)) (exists (?Q1 ?Q2 ?U) (and (instance ?U UnitOfCurrency) (holdsDuring (BeginFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q2 ?U))) (possesses ?A ?O) (lessThan ?Q1 ?Q2))))	Mid-level-ontology.kif 23827-23844	Processo e' uma instancia de Saving Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfCurrency o valor de Objeto e' Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo o valor de Objeto e' Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo AutonomousAgent possui Objeto Numero Real e' menos que Numero Real
(=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT))	Merge.kif 7823-7827	Valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o valor de propriedade de AutonomousAgent e' Medida de Divisa
(=> (financialAsset ?P ?A) (exists (?V) (monetaryValue ?A ?V)))	Mid-level-ontology.kif 23855-23858	financialAsset AutonomousAgent and Objeto Medida de Divisa o valor de Objeto e' Medida de Divisa
(=> (grossMerchandiseBoughtInPeriod ?A ?O ?CM ?TP) (and (monetaryValue ?CI ?CM) (instance ?CI (KappaFn ?COL (and (instance ?B Buying) (instance ?ITEM ?COL) (agent ?B ?A) (patient ?B ?ITEM) (patient ?B ?O) (during ?B ?TP))))))	ComputerInput.kif 2974-2986	grossMerchandiseBoughtInPeriod AutonomousAgent, Organizacao, Medida de Divisa and Intervalo Temporal o valor de Fisico e' Medida de Divisa Fisico e' uma instancia de a classe descrita por Sequencia Simbolica
(=> (grossMerchandiseSoldInPeriod ?A ?O ?CM ?TP) (and (monetaryValue ?CI ?CM) (instance ?CI (KappaFn ?COL (and (instance ?S Selling) (instance ?ITEM ?COL) (agent ?S ?A) (patient ?S ?ITEM) (patient ?S ?O) (during ?S ?TP))))))	ComputerInput.kif 2998-3010	grossMerchandiseSoldInPeriod AutonomousAgent, Organizacao, Medida de Divisa and Intervalo Temporal o valor de Fisico e' Medida de Divisa Fisico e' uma instancia de a classe descrita por Sequencia Simbolica
(=> (instance ?Asset FinancialAsset) (exists (?Value) (monetaryValue ?Asset ?Value)))	FinancialOntology.kif 47-50	Fisico e' uma instancia de FinancialAsset Medida de Divisa o valor de Fisico e' Medida de Divisa
(=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE)))	Merge.kif 15676-15679	Fisico e' uma instancia de Currency Medida de Divisa o valor de Fisico e' Medida de Divisa
(=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value)))	FinancialOntology.kif 3481-3484	Fisico e' uma instancia de Currency Medida de Divisa o valor de Fisico e' Medida de Divisa
(=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value)))	FinancialOntology.kif 94-97	Fisico e' uma instancia de Check Medida de Divisa o valor de Fisico e' Medida de Divisa
(=> (instance ?X CurrencyExchangeService) (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2) (and (agent ?X ?CUST) (not (equal ?CURR1 ?CURR2)) (instance ?AMT1 CurrencyMeasure) (instance ?AMT2 CurrencyMeasure) (holdsDuring (BeginFn (WhenFn ?X)) (and (monetaryValue ?M1 ?AMT1) (possesses ?CUST ?M1) (equal ?AMT1 (MeasureFn ?NUM1 ?CURR1)))) (holdsDuring (EndFn (WhenFn ?X)) (and (monetaryValue ?M2 ?AMT2) (possesses ?CUST ?M2) (not (possesses ?CUST ?M1)) (equal ?AMT2 (MeasureFn ?NUM2 ?CURR2)))))))	Hotel.kif 2104-2124	Processo e' uma instancia de CurrencyExchangeService Entidade Entidade, Entidade, Entidade, AutonomousAgent, Entidade, Entidade, Entidade and Entidade Processo e' um agente de AutonomousAgent Entidade e' igual a Entidade Entidade e' uma instancia de Medida de Divisa Entidade e' uma instancia de Medida de Divisa o valor de Entidade e' Entidade AutonomousAgent possui Entidade Entidade e' igual a Entidade Entidade(s) vale durante o comeco de tempo de existencia de Processo o valor de Entidade e' Entidade AutonomousAgent possui Entidade AutonomousAgent nao possui %n Entidade Entidade e' igual a Entidade Entidade(s) vale durante o fim de tempo de existencia de Processo
(=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT))))	Merge.kif 11879-11884	transactionAmount Transacao Financeira and Medida de Divisa Fisico Fisico e' um patient de Transacao Financeira o valor de Fisico e' Medida de Divisa

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