Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  monetaryValue

Sigma KEE - monetaryValue
monetaryValue

appearance as argument number 1
-------------------------


s__documentation(s__monetaryValue__m,s__ChineseLanguage,'"这是一个 BinaryPredicate,它把一个 ObjectProcess 和以一个CurrencyMeasure来表示它的价值联系起来。"')

chinese_format.kif 2668-2669
s__documentation(s__monetaryValue__m,s__EnglishLanguage,'"A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure."')

Merge.kif 7564-7566
s__domain(s__monetaryValue__m,n__1,s__Physical)

Merge.kif 7561-7561 The number 1 argument of monetary value is an instance of physical
s__domain(s__monetaryValue__m,n__2,s__CurrencyMeasure)

Merge.kif 7562-7562 The number 2 argument of monetary value is an instance of currency measure
s__instance(s__monetaryValue__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 7559-7559 monetary value is an instance of asymmetric relation
s__instance(s__monetaryValue__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 7560-7560 monetary value is an instance of binary predicate
s__instance(s__monetaryValue__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 7558-7558 monetary value is an instance of single valued relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__monetaryValue__m,'"%1 的价值 %n 是 %2"')

chinese_format.kif 627-627
s__format(s__EnglishLanguage,s__monetaryValue__m,'"value of %1 is %n %2"')

english_format.kif 633-633
s__subrelation(s__appraisedValue__m,s__monetaryValue__m)

FinancialOntology.kif 1437-1437 appraised value is a subrelation of monetary value
s__subrelation(s__finalPrice__m,s__monetaryValue__m)

FinancialOntology.kif 3436-3436 final price is a subrelation of monetary value
s__termFormat(s__ChineseLanguage,s__monetaryValue__m,'"货币价值"')

chinese_format.kif 628-628
s__termFormat(s__ChineseTraditionalLanguage,s__monetaryValue__m,'"貨幣價值"')

domainEnglishFormat.kif 38339-38339
s__termFormat(s__EnglishLanguage,s__monetaryValue__m,'"monetary value"')

domainEnglishFormat.kif 38338-38338

antecedent
-------------------------


( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   (((s__instance(V__Object,s__Physical) &
         s__instance(V__Seller,s__Object) &
         s__instance(V__Money,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Process) &
         s__instance(V__Buyer,s__Agent))
       =>
       (((s__agent(V__Purchase,V__Buyer)
           &
           s__origin(V__Purchase,V__Seller)
         &
         s__patient(V__Purchase,V__Object)
       &
       s__monetaryValue(V__Object,V__Money))
   =>
   (( ? [V__Payment] :
       ((s__subProcess(V__Payment,V__Purchase)
         &
         s__instance(V__Payment,s__Payment) &
         s__transactionAmount(V__Payment,V__Money)
       &
       s__origin(V__Payment,V__Buyer)
     &
     s__destination(V__Payment,V__Seller))))))))
)
)

FinancialOntology.kif 463-475
( ! [V__Amount,V__Loan,V__Balance,V__Value,V__Purchase] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Loan,s__Loan) &
         s__instance(V__Balance,s__Number) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Value,s__Number) &
         s__instance(V__Value,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Object))
       =>
       (((s__downPayment(V__Loan,V__Amount)
           &
           s__loanForPurchase(V__Loan,V__Purchase)
         &
         s__monetaryValue(V__Purchase,V__Value)
       &
       (V__Balance = s__SubtractionFn(V__Value,V__Amount)))
   =>
   (s__originalBalance(V__Loan,V__Balance)))))
)
)

FinancialOntology.kif 776-782
( ! [V__Amount,V__Account,V__Check,V__Depositing] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount))
       =>
       (((s__instance(V__Depositing,s__DepositingACheck) &
             s__patient(V__Depositing,V__Check)
           &
           s__instance(V__Check,s__Check) &
           s__checkAccount(V__Check,V__Account)
         &
         s__monetaryValue(V__Check,V__Amount))
     =>
     (( ? [V__Deposit] :
         ((s__instance(V__Deposit,s__Deposit) &
             s__destination(V__Deposit,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Deposit,V__Amount))))))))
)
)

FinancialOntology.kif 340-351
( ! [V__Amount,V__WithdrawalTime,V__Processing,V__Account,V__Check,V__ProcessingTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__WithdrawalTime,s__TimeInterval) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Check,s__Check) &
         s__instance(V__ProcessingTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__checkAccount(V__Check,V__Account)
         &
         s__instance(V__Processing,s__ProcessingACheck) &
         s__patient(V__Processing,V__Check)
       &
       (s__WhenFn(V__Processing)
       = V__ProcessingTime))
   =>
   (( ? [V__Withdrawal] :
       ((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instrument(V__Withdrawal,V__Check)
         &
         (s__WhenFn(V__Withdrawal)
         = V__WithdrawalTime)
       &
       s__meetsTemporally(V__ProcessingTime,V__WithdrawalTime)
     &
     s__transactionAmount(V__Withdrawal,V__Amount)
   &
   s__origin(V__Withdrawal,V__Account))))))))
)
)

FinancialOntology.kif 104-118
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Check,s__Object) &
         s__instance(V__ProcessingTime,s__TimeInterval) &
         s__instance(V__DepositTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__instance(V__Processing,s__ProcessingACheck) &
           s__patient(V__Processing,V__Check)
         &
         s__destination(V__Processing,s__CurrencyFn(V__Account))
     &
     s__instance(V__Account,s__FinancialAccount) &
     (s__WhenFn(V__Processing)
     = V__ProcessingTime))
=>
(( ? [V__Deposit] :
     ((s__instance(V__Deposit,s__Deposit) &
         s__instrument(V__Deposit,V__Check)
       &
       (s__WhenFn(V__Deposit)
       = V__DepositTime)
     &
     s__meetsTemporally(V__ProcessingTime,V__DepositTime)
   &
   s__transactionAmount(V__Deposit,V__Amount)
&
s__destination(V__Deposit,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 120-135

consequent
-------------------------


( ! [V__AMOUNT,V__PERSON] :
   (((s__instance(V__AMOUNT,s__CurrencyMeasure) &
         s__instance(V__PERSON,s__Agent))
       =>
       ((((s__WealthFn(V__PERSON)
             = V__AMOUNT)
           =>
           s__monetaryValue(s__PropertyFn(V__PERSON)
        ,V__AMOUNT))
     &
     (s__monetaryValue(s__PropertyFn(V__PERSON)
    ,V__AMOUNT)
   =>
   (s__WealthFn(V__PERSON)
   = V__AMOUNT)))))
)
)

Merge.kif 7579-7581 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
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15341-15353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22935-22952
( ! [V__P,V__A] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__A,s__Object))
       =>
       ((s__financialAsset(V__P,V__A)
         =>
         (( ? [V__V] :
             ((s__instance(V__V,s__CurrencyMeasure) &
                 s__monetaryValue(V__A,V__V))))))))
)
)

Mid-level-ontology.kif 22963-22966
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2957-2969
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2981-2993
( ! [V__Asset] :
   ((s__instance(V__Asset,s__FinancialAsset) =>
       (( ? [V__Value] :
           ((s__instance(V__Value,s__CurrencyMeasure) &
               s__monetaryValue(V__Asset,V__Value))))))
   )
)

FinancialOntology.kif 47-50
( ! [V__CURRENCY] :
   ((s__instance(V__CURRENCY,s__Currency) =>
       (( ? [V__MEASURE] :
           ((s__instance(V__MEASURE,s__CurrencyMeasure) &
               s__monetaryValue(V__CURRENCY,V__MEASURE))))))
   )
)

Merge.kif 14985-14988
( ! [V__Cash] :
   ((s__instance(V__Cash,s__Currency) =>
       (( ? [V__Value] :
           ((s__instance(V__Value,s__CurrencyMeasure) &
               s__monetaryValue(V__Cash,V__Value))))))
   )
)

FinancialOntology.kif 3441-3444
( ! [V__Check] :
   ((s__instance(V__Check,s__Check) =>
       (( ? [V__Value] :
           ((s__instance(V__Value,s__CurrencyMeasure) &
               s__monetaryValue(V__Check,V__Value))))))
   )
)

FinancialOntology.kif 94-97
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2077-2097
( ! [V__AMOUNT,V__TRANS] :
   (((s__instance(V__AMOUNT,s__CurrencyMeasure) &
         s__instance(V__TRANS,s__FinancialTransaction))
       =>
       ((s__transactionAmount(V__TRANS,V__AMOUNT)
         =>
         (( ? [V__OBJ] :
             ((s__instance(V__OBJ,s__Physical) &
                 (s__patient(V__TRANS,V__OBJ)
                 &
                 s__monetaryValue(V__OBJ,V__AMOUNT)))))))))
)
)

Merge.kif 11351-11356


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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