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 7262-7264
(domain monetaryValue 1 Physical) Merge.kif 7259-7259 The number 1 argument of monetary value is an instance of physical
(domain monetaryValue 2 CurrencyMeasure) Merge.kif 7260-7260 The number 2 argument of monetary value is an instance of currency measure
(instance monetaryValue AsymmetricRelation) Merge.kif 7257-7257 monetary value is an instance of asymmetric relation
(instance monetaryValue BinaryPredicate) Merge.kif 7258-7258 monetary value is an instance of binary predicate
(instance monetaryValue SingleValuedRelation) Merge.kif 7256-7256 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 633-633
(subrelation appraisedValue monetaryValue) FinancialOntology.kif 1424-1424 appraised value is a subrelation of monetary value
(subrelation finalPrice monetaryValue) FinancialOntology.kif 3372-3372 final price is a subrelation of monetary value
(termFormat ChineseLanguage monetaryValue "货币价值") chinese_format.kif 628-628 "货币价值" is the printable form of monetary value in ChineseLanguage
(termFormat ChineseTraditionalLanguage monetaryValue "貨幣價值") domainEnglishFormat.kif 38274-38274 "貨幣價值" is the printable form of monetary value in ChineseTraditionalLanguage
(termFormat EnglishLanguage monetaryValue "monetary value") domainEnglishFormat.kif 38273-38273 "monetary value" is the printable form of monetary value in english language

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
(=>
    (and
        (downPayment ?Loan ?Amount)
        (loanForPurchase ?Loan ?Purchase)
        (monetaryValue ?Purchase ?Value)
        (equal ?Balance
            (SubtractionFn ?Value ?Amount)))
    (originalBalance ?Loan ?Balance))
FinancialOntology.kif 766-772
(=>
    (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 7277-7279 Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
(=>
    (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 13846-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 21753-21767
(=>
    (financialAsset ?P ?A)
    (exists (?V)
        (monetaryValue ?A ?V)))
Mid-level-ontology.kif 21778-21781
(=>
    (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 2549-2561
(=>
    (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 ?S ?O)
                    (during ?S ?TP))))))
ComputerInput.kif 2568-2580
(=>
    (instance ?Asset FinancialAsset)
    (exists (?Value)
        (monetaryValue ?Asset ?Value)))
FinancialOntology.kif 47-50
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))
Merge.kif 14382-14385
(=>
    (instance ?Cash Currency)
    (exists (?Value)
        (monetaryValue ?Cash ?Value)))
FinancialOntology.kif 3377-3380
(=>
    (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 2050-2070
(=>
    (transactionAmount ?TRANS ?AMOUNT)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (monetaryValue ?OBJ ?AMOUNT))))
Merge.kif 10944-10949


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