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 7871-7873
(documentation monetaryValue JapaneseLanguage "BinaryPredicate は、Object または Process を CurrencyMeasure のインスタンスとして表される値に関連付ける。") japanese_format.kif 1388-1389
(domain monetaryValue 1 Physical) Merge.kif 7868-7868 monetaryValue の数値 1 引数は 物理 の instance では
(domain monetaryValue 2 CurrencyMeasure) Merge.kif 7869-7869 monetaryValue の数値 2 引数は 通貨測定 の instance では
(instance monetaryValue AsymmetricRelation) Merge.kif 7866-7866 monetaryValue は 非対称関係 の instance では
(instance monetaryValue BinaryPredicate) Merge.kif 7867-7867 monetaryValue は 2進述語 の instance では
(instance monetaryValue SingleValuedRelation) Merge.kif 7865-7865 monetaryValue は 一価関係 の instance では

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 1499-1499 appraisedValue は monetaryValue の subrelation では
(subrelation finalPrice monetaryValue) FinancialOntology.kif 3494-3494 finalPrice は monetaryValue の subrelation では
(termFormat ChineseLanguage monetaryValue "货币价值") chinese_format.kif 628-628 finalPrice は monetaryValue の subrelation では
(termFormat ChineseTraditionalLanguage monetaryValue "貨幣價值") domainEnglishFormat.kif 38365-38365 finalPrice は monetaryValue の subrelation では
(termFormat EnglishLanguage monetaryValue "monetary value") domainEnglishFormat.kif 38364-38364 finalPrice は monetaryValue の subrelation では
(termFormat de monetaryValue "finanzielleWert") terms-de.txt 244-244 finalPrice は monetaryValue の subrelation では
(termFormat tg monetaryValue "halaga ng salapi") relations-tg.txt 372-372 finalPrice は monetaryValue の subrelation では

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 489-501
(=>
    (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 820-830
(=>
    (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 342-353
(=>
    (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 106-120
(=>
    (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 122-137
(=>
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT)
    (equal
        (WealthFn ?PERSON) ?AMOUNT))		 Merge.kif 7892-7896

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 17587-17599
(=>
    (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 25474-25491
(=>
    (equal
        (WealthFn ?PERSON) ?AMOUNT)
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT))		 Merge.kif 7886-7890
(=>
    (equal ?GNP
        (GrossNationalProductFn ?GPA ?Y))
    (exists (?PRODANDSERV)
        (and
            (instance ?PRODANDSERV Collection)
            (monetaryValue ?PRODANDSERV ?GNP)
            (=>
                (and
                    (instance ?M Manufacture)
                    (result ?M ?PRODUCT)
                    (agent ?M ?MAKER)
                    (member ?MAKER
                        (CitizenryFn ?GPA))
                    (finishesDuring
                        (WhenFn ?M) ?Y))
                (member ?PRODUCT ?PRODANDSERV))
            (=>
                (and
                    (instance ?SERVICE Process)
                    (attribute ?SERVICE ServiceInEconomics)
                    (agent ?SERVICE ?PROVIDER)
                    (member ?PROVIDER
                        (CitizenryFn ?GPA))
                    (finishesDuring
                        (WhenFn ?SERVICE) ?Y))
                (member ?SERVICE ?PRODANDSERV)))))		 Economy.kif 1031-1052
(=>
    (financialAsset ?P ?A)
    (exists (?V)
        (monetaryValue ?A ?V)))		 Mid-level-ontology.kif 25502-25505
(=>
    (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 2977-2989
(=>
    (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 3001-3013
(=>
    (instance ?Asset FinancialAsset)
    (exists (?Value)
        (monetaryValue ?Asset ?Value)))		 FinancialOntology.kif 49-52
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))		 Merge.kif 15804-15807
(=>
    (instance ?Cash Currency)
    (exists (?Value)
        (monetaryValue ?Cash ?Value)))		 FinancialOntology.kif 3499-3502
(=>
    (instance ?Check Check)
    (exists (?Value)
        (monetaryValue ?Check ?Value)))		 FinancialOntology.kif 96-99
(=>
    (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 2115-2135
(=>
    (transactionAmount ?TRANS ?AMOUNT)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (monetaryValue ?OBJ ?AMOUNT))))		 Merge.kif 12007-12012


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