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

s__documentation(s__monetaryValue__m,s__ChineseLanguage,'"这是一个 BinaryPredicate，它把一个 Object 或 Process 和以一个CurrencyMeasure来表示它的价值联系起来。"')	chinese_format.kif 2668-2669
s__documentation(s__monetaryValue__m,s__EnglishLanguage,'"A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure."')	Merge.kif 7564-7566
s__domain(s__monetaryValue__m,n__1,s__Physical)	Merge.kif 7561-7561	The number 1 argument of monetary value is an instance of physical
s__domain(s__monetaryValue__m,n__2,s__CurrencyMeasure)	Merge.kif 7562-7562	The number 2 argument of monetary value is an instance of currency measure
s__instance(s__AsymmetricRelation,s__Class) s__instance(s__monetaryValue__m,s__AsymmetricRelation)	Merge.kif 7559-7559	monetary value is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class) s__instance(s__monetaryValue__m,s__BinaryPredicate)	Merge.kif 7560-7560	monetary value is an instance of binary predicate
s__instance(s__SingleValuedRelation,s__Class) s__instance(s__monetaryValue__m,s__SingleValuedRelation)	Merge.kif 7558-7558	monetary value is an instance of single valued relation

appearance as argument number 2

s__format(s__ChineseLanguage,s__monetaryValue__m,'"%1 的价值 %n 是 %2"')	chinese_format.kif 627-627
s__format(s__EnglishLanguage,s__monetaryValue__m,'"value of %1 is %n %2"')	english_format.kif 633-633
s__subrelation(s__appraisedValue__m,s__monetaryValue__m)	FinancialOntology.kif 1437-1437	appraised value is a subrelation of monetary value
s__subrelation(s__finalPrice__m,s__monetaryValue__m)	FinancialOntology.kif 3436-3436	final price is a subrelation of monetary value
s__termFormat(s__ChineseLanguage,s__monetaryValue__m,'"货币价值"')	chinese_format.kif 628-628
s__termFormat(s__ChineseTraditionalLanguage,s__monetaryValue__m,'"貨幣價值"')	domainEnglishFormat.kif 38339-38339
s__termFormat(s__EnglishLanguage,s__monetaryValue__m,'"monetary value"')	domainEnglishFormat.kif 38338-38338

antecedent

( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] : (((s__instance(V__Object,s__Physical) & s__instance(V__Seller,s__Object) & s__instance(V__Money,s__CurrencyMeasure) & s__instance(V__Purchase,s__Process) & s__instance(V__Buyer,s__Agent)) => (((s__agent(V__Purchase,V__Buyer) & s__origin(V__Purchase,V__Seller) & s__patient(V__Purchase,V__Object) & s__monetaryValue(V__Object,V__Money)) => (( ? [V__Payment] : ((s__subProcess(V__Payment,V__Purchase) & s__instance(V__Payment,s__Payment) & s__transactionAmount(V__Payment,V__Money) & s__origin(V__Payment,V__Buyer) & s__destination(V__Payment,V__Seller)))))))) ) )	FinancialOntology.kif 463-475	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
( ! [V__Amount,V__Loan,V__Balance,V__Value,V__Purchase] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Loan,s__Loan) & s__instance(V__Balance,s__Number) & s__instance(V__Balance,s__CurrencyMeasure) & s__instance(V__Value,s__Number) & s__instance(V__Value,s__CurrencyMeasure) & s__instance(V__Purchase,s__Object)) => (((s__downPayment(V__Loan,V__Amount) & s__loanForPurchase(V__Loan,V__Purchase) & s__monetaryValue(V__Purchase,V__Value) & (V__Balance = s__SubtractionFn(V__Value,V__Amount))) => (s__originalBalance(V__Loan,V__Balance))))) ) )	FinancialOntology.kif 776-782	If a number 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 number and a third number is equal to (the other number and the number), then the third number is an original balance of the loan
( ! [V__Amount,V__Account,V__Check,V__Depositing] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Account,s__FinancialAccount)) => (((s__instance(V__Depositing,s__DepositingACheck) & s__patient(V__Depositing,V__Check) & s__instance(V__Check,s__Check) & s__checkAccount(V__Check,V__Account) & s__monetaryValue(V__Check,V__Amount)) => (( ? [V__Deposit] : ((s__instance(V__Deposit,s__Deposit) & s__destination(V__Deposit,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Deposit,V__Amount)))))))) ) )	FinancialOntology.kif 340-351	If a process is an instance of depositingA 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
( ! [V__Amount,V__WithdrawalTime,V__Processing,V__Account,V__Check,V__ProcessingTime] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__WithdrawalTime,s__TimeInterval) & s__instance(V__Account,s__FinancialAccount) & s__instance(V__Check,s__Check) & s__instance(V__ProcessingTime,s__TimeInterval)) => (((s__monetaryValue(V__Check,V__Amount) & s__checkAccount(V__Check,V__Account) & s__instance(V__Processing,s__ProcessingACheck) & s__patient(V__Processing,V__Check) & (s__WhenFn(V__Processing) = V__ProcessingTime)) => (( ? [V__Withdrawal] : ((s__instance(V__Withdrawal,s__Withdrawal) & s__instrument(V__Withdrawal,V__Check) & (s__WhenFn(V__Withdrawal) = V__WithdrawalTime) & s__meetsTemporally(V__ProcessingTime,V__WithdrawalTime) & s__transactionAmount(V__Withdrawal,V__Amount) & s__origin(V__Withdrawal,V__Account)))))))) ) )	FinancialOntology.kif 104-118	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 processingA 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 exists a financial transaction such that the financial transaction is an instance of withdrawal 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
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Check,s__Object) & s__instance(V__ProcessingTime,s__TimeInterval) & s__instance(V__DepositTime,s__TimeInterval)) => (((s__monetaryValue(V__Check,V__Amount) & s__instance(V__Processing,s__ProcessingACheck) & s__patient(V__Processing,V__Check) & s__destination(V__Processing,s__CurrencyFn(V__Account)) & s__instance(V__Account,s__FinancialAccount) & (s__WhenFn(V__Processing) = V__ProcessingTime)) => (( ? [V__Deposit] : ((s__instance(V__Deposit,s__Deposit) & s__instrument(V__Deposit,V__Check) & (s__WhenFn(V__Deposit) = V__DepositTime) & s__meetsTemporally(V__ProcessingTime,V__DepositTime) & s__transactionAmount(V__Deposit,V__Amount) & s__destination(V__Deposit,s__CurrencyFn(V__Account))))))))) ) )	FinancialOntology.kif 120-135	If value of an object is a currency measure and a process is an instance of processingA 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 exists a financial transaction 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

consequent

( ! [V__AMOUNT,V__PERSON] : (((s__instance(V__AMOUNT,s__CurrencyMeasure) & s__instance(V__PERSON,s__Agent)) => ((((s__WealthFn(V__PERSON) = V__AMOUNT) => s__monetaryValue(s__PropertyFn(V__PERSON) ,V__AMOUNT)) & (s__monetaryValue(s__PropertyFn(V__PERSON) ,V__AMOUNT) => (s__WealthFn(V__PERSON) = V__AMOUNT))))) ) )	Merge.kif 7579-7581	Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-212	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 and a third entity such that the entity is an instance of zakat and a 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 a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15342-15354	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22936-22953	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 quantity, another quantity and an entity such that the entity is an instance of UnitOfCurrency and value of the object is the quantity the entity(s) holds during the beginning of the time of existence of the process and value of the object is the other quantity the entity(s) holds during the end of the time of existence of the process and the agent possesses the object and the quantity is less than the other quantity
( ! [V__P,V__A] : (((s__instance(V__P,s__Agent) & s__instance(V__A,s__Object)) => ((s__financialAsset(V__P,V__A) => (( ? [V__V] : ((s__instance(V__V,s__CurrencyMeasure) & s__monetaryValue(V__A,V__V)))))))) ) )	Mid-level-ontology.kif 22964-22967	If an agent has the asset an object, then there exists a currency measure such that value of the object is the currency measure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2957-2969	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2981-2993	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
( ! [V__Asset] : ((s__instance(V__Asset,s__FinancialAsset) => (( ? [V__Value] : ((s__instance(V__Value,s__CurrencyMeasure) & s__monetaryValue(V__Asset,V__Value)))))) ) )	FinancialOntology.kif 47-50	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
( ! [V__CURRENCY] : ((s__instance(V__CURRENCY,s__Currency) => (( ? [V__MEASURE] : ((s__instance(V__MEASURE,s__CurrencyMeasure) & s__monetaryValue(V__CURRENCY,V__MEASURE)))))) ) )	Merge.kif 14985-14988	If a physical is an instance of currency, then there exists a currency measure such that value of the physical is the currency measure
( ! [V__Cash] : ((s__instance(V__Cash,s__Currency) => (( ? [V__Value] : ((s__instance(V__Value,s__CurrencyMeasure) & s__monetaryValue(V__Cash,V__Value)))))) ) )	FinancialOntology.kif 3441-3444	If a physical is an instance of currency, then there exists a currency measure such that value of the physical is the currency measure
( ! [V__Check] : ((s__instance(V__Check,s__Check) => (( ? [V__Value] : ((s__instance(V__Value,s__CurrencyMeasure) & s__monetaryValue(V__Check,V__Value)))))) ) )	FinancialOntology.kif 94-97	If a physical is an instance of check, then there exists a currency measure such that value of the physical is the currency measure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2077-2097	If a time interval is an instance of currency exchange, then there exist an entity, another entity,, , a third entity,, , a fourth entity and an agent such that the agent is an agent of the time interval 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 a fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to a sixth entity the other entity(s) holds during the time of existence of the start of the time interval and value of a seventh entity is the third entity and the agent possesses the seventh entity and the agent doesn't possess the fifth entity and the third entity is equal to a eighth entity the fourth entity(s) holds during the time of existence of the end of the time interval
( ! [V__AMOUNT,V__TRANS] : (((s__instance(V__AMOUNT,s__CurrencyMeasure) & s__instance(V__TRANS,s__FinancialTransaction)) => ((s__transactionAmount(V__TRANS,V__AMOUNT) => (( ? [V__OBJ] : ((s__instance(V__OBJ,s__Physical) & (s__patient(V__TRANS,V__OBJ) & s__monetaryValue(V__OBJ,V__AMOUNT))))))))) ) )	Merge.kif 11351-11356	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