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来表示它的价值联系起来。") Merge.kif 7994-7995
(documentation monetaryValue EnglishLanguage "A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure.") Merge.kif 7991-7993
(domain monetaryValue 1 Physical) Merge.kif 7989-7989 domain monetaryValue, 1 and 物理
(domain monetaryValue 2 CurrencyMeasure) Merge.kif 7990-7990 domain monetaryValue, 2 and 通貨測定
(instance monetaryValue AsymmetricRelation) Merge.kif 7987-7987 instance monetaryValue and 非対称関係
(instance monetaryValue BinaryPredicate) Merge.kif 7988-7988 instance monetaryValue and 2進述語
(instance monetaryValue SingleValuedRelation) Merge.kif 7986-7986 instance monetaryValue and 一価関係

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
(subrelation appraisedValue monetaryValue) FinancialOntology.kif 1426-1426 subrelation appraisedValue and monetaryValue
(subrelation finalPrice monetaryValue) FinancialOntology.kif 3366-3366 subrelation finalPrice and monetaryValue
(termFormat ChineseLanguage monetaryValue "货币价值") chinese_format.kif 628-628 termFormat ChineseLanguage, monetaryValue and "货币价值"
(termFormat EnglishLanguage monetaryValue "monetary value") domainEnglishFormat.kif 6812-6812 termFormat EnglishLanguage, monetaryValue and "monetary value"

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 8011-8013 equal WealthFn 代理(人) and 通貨測定 monetaryValue PropertyFn 代理(人) and 通貨測定
(=>
    (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 21752-21766
(=>
    (financialAsset ?P ?A)
    (exists (?V)
        (monetaryValue ?A ?V)))		 Mid-level-ontology.kif 21777-21780
(=>
    (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 2380-2392
(=>
    (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 2399-2411
(=>
    (instance ?Asset FinancialAsset)
    (exists (?Value)
        (monetaryValue ?Asset ?Value)))		 FinancialOntology.kif 47-50
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))		 Merge.kif 15777-15780
(=>
    (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 11814-11819


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