monetaryValue - Sigma Knowledge base Browser

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 7856-7858
(documentation monetaryValue JapaneseLanguage "BinaryPredicate は、Object または Process を CurrencyMeasure のインスタンスとして表される値に関連付ける。")	japanese_format.kif 1388-1389
(domain monetaryValue 1 Physical)	Merge.kif 7853-7853	The number 1 argument of monetary value is an instance of physical
(domain monetaryValue 2 CurrencyMeasure)	Merge.kif 7854-7854	The number 2 argument of monetary value is an instance of currency measure
(instance monetaryValue AsymmetricRelation)	Merge.kif 7851-7851	monetary value is an instance of asymmetric relation
(instance monetaryValue BinaryPredicate)	Merge.kif 7852-7852	monetary value is an instance of binary predicate
(instance monetaryValue SingleValuedRelation)	Merge.kif 7850-7850	monetary value is an instance of single valued relation

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 1499-1499	appraised value is a subrelation of monetary value
(subrelation finalPrice monetaryValue)	FinancialOntology.kif 3494-3494	final price is a subrelation of monetary value
(termFormat ChineseLanguage monetaryValue "货币价值")	chinese_format.kif 628-628	final price is a subrelation of monetary value
(termFormat ChineseTraditionalLanguage monetaryValue "貨幣價值")	domainEnglishFormat.kif 38382-38382	final price is a subrelation of monetary value
(termFormat EnglishLanguage monetaryValue "monetary value")	domainEnglishFormat.kif 38381-38381	final price is a subrelation of monetary value
(termFormat de monetaryValue "finanzielleWert")	terms-de.txt 244-244	final price is a subrelation of monetary value
(termFormat tg monetaryValue "halaga ng salapi")	relations-tg.txt 372-372	final price is a subrelation of monetary value

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 489-501	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
(=> (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 820-830	If a real number an unit of measure(s) is a down payment of a loan and an object is a loan for purchase of the loan and value of the object is another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the third real number the unit of measure(s) is an original balance of the loan
(=> (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 342-353	If a process is an instance of depositing a check and a check is a patient of the process and the check is an instance of check and a financial account is a check account of the check and value of the check is a currency measure, then there exists a financial transaction such that the financial transaction is an instance of deposit and the financial transaction ends up at the currency of the financial account and the currency measure is a transaction amount of the financial transaction
(=> (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 106-120	If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processing a check and the check is a patient of the process and the time of existence of the process is equal to the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of withdrawing from an account and the check is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the financial account
(=> (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 122-137	If value of an object is a currency measure and a process is an instance of processing a check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and the time of existence of the process is equal to the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
(=> (monetaryValue (PropertyFn ?PERSON) ?AMOUNT) (equal (WealthFn ?PERSON) ?AMOUNT))	Merge.kif 7877-7881	If value of belongings of an agent is a currency measure, then value of belongings of the agent is equal to the currency measure

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	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of 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 17607-17619	If an entity is an instance of legal award and the entity includes a reference to a process and the process is an instance of legal action and a cognitive agent is an agent of the process, then the entity allows the cognitive agent to perform task of the type there exist another entity, a third entity and a fourth entity such that the other entity is an instance of getting and the cognitive agent experiences the other entity and the third entity is a patient of the other entity and value of the third entity is the fourth entity
(=> (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 25493-25510	If a process is an instance of saving and an object is a patient of the process and an agent is an agent of the process, then there exist a real number, another real number and an entity such that the entity is an instance of unit of currency and value of the object is the real number the entity(s) holds during the beginning of the time of existence of the process and value of the object is the other real number the entity(s) holds during the end of the time of existence of the process and the agent possesses the object and the real number is less than the other real number
(=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT))	Merge.kif 7871-7875	If value of belongings of an agent is equal to a currency measure, then value of belongings of the agent is the currency measure
(=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1031-1052	If a currency measure is equal to gross national product of a geopolitical area during a year, then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of the citizenry of the geopolitical area and finishes during the time of existence of the process and the year, then the physical is a member of the collection and if an object is an instance of process and service is an attribute of the object and another agent is an agent of the object and the other agent is a member of the citizenry of the geopolitical area and finishes during the time of existence of the object and the year, then the object is a member of the collection
(=> (financialAsset ?P ?A) (exists (?V) (monetaryValue ?A ?V)))	Mid-level-ontology.kif 25521-25524	If an agent has the asset an object, then there exists a currency measure such that value of the object is the currency measure
(=> (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 2977-2989	If the value of everything purchased by an agent for an organization during a time interval is a currency measure, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
(=> (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 3001-3013	If GMV an agent, an organization, a currency measure and a time interval, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
(=> (instance ?Asset FinancialAsset) (exists (?Value) (monetaryValue ?Asset ?Value)))	FinancialOntology.kif 49-52	If a physical is an instance of financial asset, then there exists a currency measure such that value of the physical is the currency measure
(=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE)))	Merge.kif 15789-15792	If a physical is an instance of currency, then there exists a currency measure such that value of the physical is the currency measure
(=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value)))	FinancialOntology.kif 3499-3502	If a physical is an instance of currency, then there exists a currency measure such that value of the physical is the currency measure
(=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value)))	FinancialOntology.kif 96-99	If a physical is an instance of check, then there exists a currency measure such that value of the physical is the currency measure
(=> (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 2115-2135	If a process is an instance of currency exchange, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , an agent,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the agent is an agent of the process and the other entity is not equal to the fourth entity and the entity is an instance of currency measure and the third entity is an instance of currency measure and value of the fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to the seventh entity the other entity(s) holds during the beginning of the time of existence of the process and value of the sixth entity is the third entity and the agent possesses the sixth entity and the agent doesn't possess the fifth entity and the third entity is equal to the eighth entity the fourth entity(s) holds during the end of the time of existence of the process
(=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT))))	Merge.kif 11992-11997	If a currency measure is a transaction amount of a financial transaction, then there exists a physical such that the physical is a patient of the financial transaction and value of the physical is the currency measure

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

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