| appearance as argument number 1 |
|
| (documentation monetaryValue ChineseLanguage "这是一个 BinaryPredicate，它把一个 Object 或 Process 和以一个CurrencyMeasure来表示它的价值联系起来。") | Merge.kif 7977-7978 | |
| (documentation monetaryValue EnglishLanguage "A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure.") | Merge.kif 7974-7976 | |
| (domain monetaryValue 1 Physical) | Merge.kif 7972-7972 | |
| (domain monetaryValue 2 CurrencyMeasure) | Merge.kif 7973-7973 | |
| (instance monetaryValue AsymmetricRelation) | Merge.kif 7970-7970 | |
| (instance monetaryValue BinaryPredicate) | Merge.kif 7971-7971 | |
| (instance monetaryValue SingleValuedRelation) | Merge.kif 7969-7969 |
| 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 389-389 | |
| (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 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 tg monetaryValue "bale ng %1 %n ay %2") | relations-tg.txt 371-371 | |
| (subrelation appraisedValue monetaryValue) | FinancialOntology.kif 1426-1426 | |
| (subrelation finalPrice monetaryValue) | FinancialOntology.kif 3366-3366 | |
| (termFormat ChineseLanguage monetaryValue "货币价值") | chinese_format.kif 628-628 | |
| (termFormat EnglishLanguage monetaryValue "monetary value") | domainEnglishFormat.kif 6812-6812 | |
| (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) (destination ?Payment ?Seller)))) |
FinancialOntology.kif 465-476 | |
| (=> (and (downPayment ?Loan ?Amount) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase ?Value) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan ?Balance)) |
FinancialOntology.kif 767-773 | |
| (=> (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) (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) (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 |
| consequent |
|
|
| (<=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7994-7996 | |
| (=> (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 | |
| (=> (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 13847-13858 | |
| (=> (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 21721-21735 | |
| (=> (financialAsset ?P ?A) (exists (?V) (monetaryValue ?A ?V))) |
Mid-level-ontology.kif 21746-21749 | |
| (=> (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 2429-2441 | |
| (=> (grossMerchandiseBoughtInPeriod ?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 ?B ?O) (during ?S ?TP)))))) |
ComputerInput.kif 2448-2460 | |
| (=> (instance ?Asset FinancialAsset) (exists (?Value) (monetaryValue ?Asset ?Value))) |
FinancialOntology.kif 47-50 | |
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15719-15722 | |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3371-3374 | |
| (=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value))) |
FinancialOntology.kif 94-97 | |
| (=> (instance ?X CurrencyExchangeService) (exists (?AMT ?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 2045-2065 | |
| (=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT)))) |
Merge.kif 11756-11761 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners