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 7386-7388
(domain monetaryValue 1 Physical)	Merge.kif 7383-7383	domain monetaryValue, 1 and Physical
(domain monetaryValue 2 CurrencyMeasure)	Merge.kif 7384-7384	domain monetaryValue, 2 and CurrencyMeasure
(instance monetaryValue AsymmetricRelation)	Merge.kif 7381-7381	instance monetaryValue and AsymmetricRelation
(instance monetaryValue BinaryPredicate)	Merge.kif 7382-7382	instance monetaryValue and BinaryPredicate
(instance monetaryValue SingleValuedRelation)	Merge.kif 7380-7380	instance monetaryValue and SingleValuedRelation

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 633-633
(subrelation appraisedValue monetaryValue)	FinancialOntology.kif 1424-1424	subrelation appraisedValue and monetaryValue
(subrelation finalPrice monetaryValue)	FinancialOntology.kif 3373-3373	subrelation finalPrice and monetaryValue
(termFormat ChineseLanguage monetaryValue "货币价值")	chinese_format.kif 628-628
(termFormat ChineseTraditionalLanguage monetaryValue "貨幣價值")	domainEnglishFormat.kif 38271-38271
(termFormat EnglishLanguage monetaryValue "monetary value")	domainEnglishFormat.kif 38270-38270

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 463-475	agent Process and Agent origin Process and Object patient Process and Physical monetaryValue Physical and CurrencyMeasure FinancialTransaction subProcess FinancialTransaction and Process instance FinancialTransaction and Payment transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and Agent destination FinancialTransaction and Object
(=> (and (downPayment ?Loan ?Amount) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase ?Value) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan ?Balance))	FinancialOntology.kif 766-772	downPayment Loan and CurrencyMeasure loanForPurchase Loan and Object monetaryValue Object and CurrencyMeasure equal CurrencyMeasure and SubtractionFn CurrencyMeasure and CurrencyMeasure originalBalance Loan and CurrencyMeasure
(=> (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	instance Process and DepositingACheck patient Process and Check instance Check and Check checkAccount Check and FinancialAccount monetaryValue Check and CurrencyMeasure FinancialTransaction instance FinancialTransaction and Deposit destination FinancialTransaction and CurrencyFn FinancialAccount transactionAmount FinancialTransaction and CurrencyMeasure
(=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account))))	FinancialOntology.kif 104-118	monetaryValue Check and CurrencyMeasure checkAccount Check and FinancialAccount instance Process and ProcessingACheck patient Process and Check equal WhenFn Process and ProcessTime FinancialTransaction instance FinancialTransaction and Withdrawal instrument FinancialTransaction and Check equal WhenFn FinancialTransaction and FinancialTransactionTime meetsTemporally ProcessTime and FinancialTransactionTime transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and FinancialAccount
(=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit) (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	monetaryValue Object and CurrencyMeasure instance Process and ProcessingACheck patient Process and Object destination Process and CurrencyFn FinancialAccount instance FinancialAccount and FinancialAccount equal WhenFn Process and ProcessTime FinancialTransaction instance FinancialTransaction and Deposit instrument FinancialTransaction and Object equal WhenFn FinancialTransaction and FinancialTransactionTime meetsTemporally ProcessTime and FinancialTransactionTime transactionAmount FinancialTransaction and CurrencyMeasure destination FinancialTransaction and CurrencyFn FinancialAccount

consequent

(<=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT))	Merge.kif 7401-7403	equal WealthFn Agent and CurrencyMeasure monetaryValue PropertyFn Agent and CurrencyMeasure
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T ?C) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 193-210	attribute Agent and Muslim equal WealthFn Agent and CurrencyMeasure modalAttribute entity entity instance entity and Zakat instance entity and Year during entity and WhenFn Agent holdsDuring entity and attribute Agent and FullyFormed agent entity and Agent patient entity and entity monetaryValue entity and entity greaterThan entity and MultiplicationFn CurrencyMeasure and 0.025 and 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 13872-13884	instance Entity and LegalAward refers Entity and Process instance Process and LegalAction agent Process and CognitiveAgent confersRight entity entity and entity instance entity and Getting experiencer entity and CognitiveAgent patient entity and entity monetaryValue entity and entity, Entity and CognitiveAgent
(=> (and (instance ?S Saving) (patient ?S ?O) (agent ?S ?A)) (exists (?Q1 ?Q2) (and (holdsDuring (BeginFn (WhenFn ?S)) (monetaryValue ?O ?Q1)) (holdsDuring (EndFn (WhenFn ?S)) (monetaryValue ?O ?Q2)) (possesses ?A ?O) (lessThan ?Q1 ?Q2))))	Mid-level-ontology.kif 21790-21804	instance Process and Saving patient Process and Object agent Process and Agent Quantity Quantity holdsDuring BeginFn WhenFn Process and monetaryValue Object and Quantity holdsDuring EndFn WhenFn Process and monetaryValue Object and Quantity possesses Agent and Object lessThan Quantity and Quantity
(=> (financialAsset ?P ?A) (exists (?V) (monetaryValue ?A ?V)))	Mid-level-ontology.kif 21815-21818	financialAsset Agent and Object CurrencyMeasure monetaryValue Object and CurrencyMeasure
(=> (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 2938-2950	grossMerchandiseBoughtInPeriod Agent, Organization, CurrencyMeasure and TimeInterval monetaryValue Physical and CurrencyMeasure instance Physical and KappaFn SymbolicString and instance entity and Buying instance entity and SymbolicString agent entity and Agent patient entity and entity patient entity and Organization during entity and TimeInterval
(=> (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 2962-2974	grossMerchandiseSoldInPeriod Agent, Organization, CurrencyMeasure and TimeInterval monetaryValue Physical and CurrencyMeasure instance Physical and KappaFn SymbolicString and instance entity and Selling instance entity and SymbolicString agent entity and Agent patient entity and entity patient entity and Organization during entity and TimeInterval
(=> (instance ?Asset FinancialAsset) (exists (?Value) (monetaryValue ?Asset ?Value)))	FinancialOntology.kif 47-50	instance Physical and FinancialAsset CurrencyMeasure monetaryValue Physical and CurrencyMeasure
(=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE)))	Merge.kif 14500-14503	instance Physical and Currency CurrencyMeasure monetaryValue Physical and CurrencyMeasure
(=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value)))	FinancialOntology.kif 3378-3381	instance Physical and Currency CurrencyMeasure monetaryValue Physical and CurrencyMeasure
(=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value)))	FinancialOntology.kif 94-97	instance Physical and Check CurrencyMeasure monetaryValue Physical and CurrencyMeasure
(=> (instance ?X CurrencyExchangeService) (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST) (and (agent ?X ?CUST) (not (equal ?CURR1 ?CURR2)) (instance ?AMT1 CurrencyMeasure) (instance ?AMT2 CurrencyMeasure) (holdsDuring (WhenFn (StartFn ?X)) (and (monetaryValue ?M1 ?AMT1) (possesses ?CUST ?M1) (equal ?AMT1 (MeasureFn ?NUM1 ?CURR1)))) (holdsDuring (WhenFn (EndFn ?X)) (and (monetaryValue ?M2 ?AMT2) (possesses ?CUST ?M2) (not (possesses ?CUST ?M1)) (equal ?AMT2 (MeasureFn ?NUM2 ?CURR2)))))))	Hotel.kif 2050-2070	instance TimeInterval and CurrencyExchangeService Entity Entity, Entity, Entity and Agent agent TimeInterval and Agent equal Entity and Entity instance Entity and CurrencyMeasure instance Entity and CurrencyMeasure holdsDuring WhenFn StartFn TimeInterval and monetaryValue entity and Entity possesses Agent and entity equal Entity and MeasureFn entity and Entity holdsDuring WhenFn EndFn TimeInterval and monetaryValue entity and Entity possesses Agent and entity possesses Agent and entity equal Entity and MeasureFn entity and Entity
(=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT))))	Merge.kif 11065-11070	transactionAmount FinancialTransaction and CurrencyMeasure Physical patient FinancialTransaction and Physical monetaryValue Physical and CurrencyMeasure

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