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,它把一个 ObjectProcess 和以一个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 7822-7824
(documentation monetaryValue JapaneseLanguage "BinaryPredicate は、Object または ProcessCurrencyMeasure のインスタンスとして表される値に関連付ける。") japanese_format.kif 1388-1389
(domain monetaryValue 1 Physical) Merge.kif 7819-7819 The number 1 argument of monetary value is an instance of physical
(domain monetaryValue 2 CurrencyMeasure) Merge.kif 7820-7820 The number 2 argument of monetary value is an instance of currency measure
(instance monetaryValue AsymmetricRelation) Merge.kif 7817-7817 monetary value is an instance of asymmetric relation
(instance monetaryValue BinaryPredicate) Merge.kif 7818-7818 monetary value is an instance of binary predicate
(instance monetaryValue SingleValuedRelation) Merge.kif 7816-7816 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 1483-1483 appraised value is a subrelation of monetary value
(subrelation finalPrice monetaryValue) FinancialOntology.kif 3476-3476 final price is a subrelation of monetary value
(termFormat ChineseLanguage monetaryValue "货币价值") chinese_format.kif 628-628
(termFormat ChineseTraditionalLanguage monetaryValue "貨幣價值") domainEnglishFormat.kif 38356-38356
(termFormat EnglishLanguage monetaryValue "monetary value") domainEnglishFormat.kif 38355-38355
(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 7843-7847

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 16227-16239
(=>
    (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 23885-23902
(=>
    (equal
        (WealthFn ?PERSON) ?AMOUNT)
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT))
Merge.kif 7837-7841
(=>
    (financialAsset ?P ?A)
    (exists (?V)
        (monetaryValue ?A ?V)))
Mid-level-ontology.kif 23913-23916
(=>
    (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 15700-15703
(=>
    (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 11903-11908


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