monetaryValue |
appearance as argument number 1 |
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 は monetaryValue の subrelation では %n |
(subrelation finalPrice monetaryValue) | FinancialOntology.kif 3476-3476 | finalPrice は monetaryValue の subrelation では %n |
(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 | |
(=> (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 | |
(=> (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 |
|
(=> (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 |
|
(=> (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 |
|
(=> (monetaryValue (PropertyFn ?PERSON) ?AMOUNT) (equal (WealthFn ?PERSON) ?AMOUNT)) |
Merge.kif 7807-7811 |
|
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 |
|
(=> (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 16200-16212 |
|
(=> (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 23828-23845 |
|
(=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7801-7805 |
|
(=> (financialAsset ?P ?A) (exists (?V) (monetaryValue ?A ?V))) |
Mid-level-ontology.kif 23856-23859 |
|
(=> (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 | |
(=> (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 | |
(=> (instance ?Asset FinancialAsset) (exists (?Value) (monetaryValue ?Asset ?Value))) |
FinancialOntology.kif 47-50 | |
(=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15654-15657 | |
(=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3481-3484 | |
(=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value))) |
FinancialOntology.kif 94-97 | |
(=> (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 |
|
(=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT)))) |
Merge.kif 11857-11862 |