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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyMeasure

Sigma KEE - CurrencyMeasure
CurrencyMeasure(货币测量)

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


s__documentation(s__CurrencyMeasure,s__ChineseLanguage,'这个 ConstantQuantity subclass 的实例是 用来量度 monetaryValue 的,它以某些 UnitOfCurrencyUnitedStatesDollarUnitedStatesCent、人民币、日元等等来表示。')

Merge.kif 6453-6455
s__documentation(s__CurrencyMeasure,s__EnglishLanguage,'Instances of this subclass of ConstantQuantity are measures of monetaryValue stated in terms of some UnitOfCurrency such as UnitedStatesDollar, UnitedStatesCent, RMB, Lira, Yen, etc.')

Merge.kif 6449-6452
s__instance(s__CurrencyMeasure,s__SetOrClass)

s__subclass(s__CurrencyMeasure,s__ConstantQuantity)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6448-6448 货币测量恒量subclass

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


s__range(s__ABPFn__m,s__CurrencyMeasure)

UXExperimentalTerms.kif 3434-3434 ABPFnrange货币测量 的实例
s__range(s__ASPFn__m,s__CurrencyMeasure)

UXExperimentalTerms.kif 3477-3477 ASPFnrange货币测量 的实例
s__range(s__AuctionGMBFn__m,s__CurrencyMeasure)

UXExperimentalTerms.kif 3399-3399 AuctionGMBFnrange货币测量 的实例
s__range(s__GMBFn__m,s__CurrencyMeasure)

UXExperimentalTerms.kif 3153-3153 GMBFnrange货币测量 的实例
s__range(s__GMVFn__m,s__CurrencyMeasure)

UXExperimentalTerms.kif 3196-3196 GMVFnrange货币测量 的实例
s__range(s__WealthFn__m,s__CurrencyMeasure)

Merge.kif 8000-8000 财富函数range货币测量 的实例
s__instance(s__CurrencyMeasure,s__SetOrClass)

s__subclass(s__Interest,s__CurrencyMeasure)

s__instance(s__Interest,s__SetOrClass)

FinancialOntology.kif 490-490 Interest货币测量subclass
s__instance(s__ShareUnit,s__SetOrClass)

s__subclass(s__ShareUnit,s__CurrencyMeasure)

s__instance(s__CurrencyMeasure,s__SetOrClass)

FinancialOntology.kif 2039-2039 ShareUnit货币测量subclass
s__termFormat(s__ChineseLanguage,s__CurrencyMeasure,'货币测量')

chinese_format.kif 1308-1308 termFormat ChineseLanguage, 货币测量 and "货币测量"
s__termFormat(s__EnglishLanguage,s__CurrencyMeasure,'currency measure')

english_format.kif 2005-2005 termFormat EnglishLanguage, 货币测量 and "currency measure"
s__termFormat(s__JapaneseLanguage,s__CurrencyMeasure,'通貨測定')

english_format.kif 2006-2006 termFormat JapaneseLanguage, 货币测量 and "通貨測定"

appearance as argument number 3
-------------------------


s__domain(s__afterTaxIncome__m,2,s__CurrencyMeasure)

FinancialOntology.kif 3217-3217 afterTaxIncome 的 2 数量 是 货币测量instance
s__domain(s__amountCharged__m,2,s__CurrencyMeasure)

FinancialOntology.kif 857-857 amountCharged 的 2 数量 是 货币测量instance
s__domain(s__amountDue__m,2,s__CurrencyMeasure)

FinancialOntology.kif 610-610 amountDue 的 2 数量 是 货币测量instance
s__domain(s__amountOfBid__m,2,s__CurrencyMeasure)

UXExperimentalTerms.kif 1653-1653 amountOfBid 的 2 数量 是 货币测量instance
s__domain(s__annualExpendituresOfArea__m,2,s__CurrencyMeasure)

Economy.kif 1515-1515 annualExpendituresOfArea 的 2 数量 是 货币测量instance
s__domain(s__annualExpendituresOfAreaInPeriod__m,2,s__CurrencyMeasure)

Economy.kif 1504-1504 annualExpendituresOfAreaInPeriod 的 2 数量 是 货币测量instance
s__domain(s__annualExportTotal__m,2,s__CurrencyMeasure)

Economy.kif 2273-2273 annualExportTotal 的 2 数量 是 货币测量instance
s__domain(s__annualImportTotal__m,2,s__CurrencyMeasure)

Economy.kif 2578-2578 annualImportTotal 的 2 数量 是 货币测量instance
s__domain(s__annualRevenuesOfArea__m,2,s__CurrencyMeasure)

Economy.kif 1487-1487 annualRevenuesOfArea 的 2 数量 是 货币测量instance
s__domain(s__annualRevenuesOfAreaInPeriod__m,2,s__CurrencyMeasure)

Economy.kif 1476-1476 annualRevenuesOfAreaInPeriod 的 2 数量 是 货币测量instance
s__domain(s__appraisedValue__m,2,s__CurrencyMeasure)

FinancialOntology.kif 1429-1429 appraisedValue 的 2 数量 是 货币测量instance
s__domain(s__askPrice__m,2,s__CurrencyMeasure)

FinancialOntology.kif 1865-1865 askPrice 的 2 数量 是 货币测量instance
s__domain(s__availableBalance__m,3,s__CurrencyMeasure)

FinancialOntology.kif 3649-3649 availableBalance 的 3 数量 是 货币测量instance
s__domain(s__availableCash__m,3,s__CurrencyMeasure)

FinancialOntology.kif 3669-3669 availableCash 的 3 数量 是 货币测量instance
s__domain(s__beforeTaxIncome__m,2,s__CurrencyMeasure)

FinancialOntology.kif 3234-3234 beforeTaxIncome 的 2 数量 是 货币测量instance
s__domain(s__bidPrice__m,2,s__CurrencyMeasure)

FinancialOntology.kif 1845-1845 bidPrice 的 2 数量 是 货币测量instance
s__domain(s__buyingPowerAmount__m,3,s__CurrencyMeasure)

FinancialOntology.kif 3930-3930 buyingPowerAmount 的 3 数量 是 货币测量instance
s__domain(s__capitalExpendituresOfArea__m,2,s__CurrencyMeasure)

Economy.kif 1553-1553 capitalExpendituresOfArea 的 2 数量 是 货币测量instance
s__domain(s__capitalExpendituresOfAreaInPeriod__m,2,s__CurrencyMeasure)

Economy.kif 1534-1534 capitalExpendituresOfAreaInPeriod 的 2 数量 是 货币测量instance
s__domain(s__closingPrice__m,2,s__CurrencyMeasure)

FinancialOntology.kif 3361-3361 closingPrice 的 2 数量 是 货币测量instance
s__domain(s__compensationPackage__m,2,s__CurrencyMeasure)

FinancialOntology.kif 3256-3256 compensationPackage 的 2 数量 是 货币测量instance
s__domain(s__corkageFee__m,1,s__CurrencyMeasure)

Dining.kif 119-119 corkageFee 的 1 数量 是 货币测量instance
s__domain(s__creditLimit__m,2,s__CurrencyMeasure)

FinancialOntology.kif 742-742 creditLimit 的 2 数量 是 货币测量instance
s__domain(s__creditsPerPeriod__m,2,s__CurrencyMeasure)

FinancialOntology.kif 3706-3706 creditsPerPeriod 的 2 数量 是 货币测量instance
s__domain(s__currencyExchangePerUSDollar__m,1,s__CurrencyMeasure)

Economy.kif 3632-3632 currencyExchangePerUSDollar 的 1 数量 是 货币测量instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT,V__BIDDING,V__OBJECT,V__AMOUNT] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__AGENT,s__SetOrClass))
    s__=>((s__instance(V__BIDDING,s__Bidding)s__and__ms__instance(V__OBJECT,s__Physical)s__and__ms__instance(V__AMOUNT,s__CurrencyMeasure)s__and__ms__instance(V__AGENT,V__AGENT)
      s__and__ms__objectOfBid(V__BIDDING,V__OBJECT)
    s__and__ms__amountOfBid(V__BIDDING,V__AMOUNT)
  s__and__ms__agent(V__BIDDING,V__AGENT))
s__=>s__bidPrice(V__OBJECT,V__AMOUNT,V__AGENT)))
)

UXExperimentalTerms.kif 1614-1623
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3487-3507

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


( ! [V__QUANT,V__NUMBER,V__UNIT] :
   ((s__instance(V__QUANT,s__PhysicalQuantity)s__and__ms__instance(V__NUMBER,s__RealNumber))
    s__=>(((s__MeasureFn(V__NUMBER,V__UNIT)
        s__equal__mV__QUANT)s__and__ms__instance(V__UNIT,s__UnitOfCurrency))
      s__=>s__instance(V__QUANT,s__CurrencyMeasure)))
   )

Merge.kif 6545-6549
( ! [V__AUCTIONING,V__ITEM] :
   ((s__instance(V__AUCTIONING,s__Auctioning)s__and__ms__instance(V__ITEM,s__Object)s__and__ms__patient(V__AUCTIONING,V__ITEM))
  s__=>(s__exists__m[V__BIDDER,V__OFFER] :
     (s__instance(V__BIDDER,s__Agent)s__and__ms__instance(V__OFFER,s__CurrencyMeasure)s__and__ms__bidPrice(V__ITEM,V__OFFER,V__BIDDER))))
)

UXExperimentalTerms.kif 426-435
( ! [V__OBJ,V__QUANT,V__AGREE] :
   ((s__subclass(V__OBJ,s__Physical)s__and__ms__instance(V__QUANT,s__FunctionQuantity)s__and__ms__instance(V__AGREE,s__Agreement))
    s__=>(s__contractedRentalPrice(V__OBJ,V__QUANT,V__AGREE)
    s__=>(s__exists__m[V__DURATION,V__CURR] :
       (s__instance(V__CURR,s__CurrencyMeasure)s__and__ms__instance(V__DURATION,s__TimeDuration)s__and__m(V__QUANTs__equal__ms__PerFn(V__CURR,V__DURATION))))))
)

Catalog.kif 485-491
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2045-2065
( ! [V__AGENT,V__PS,V__OBJ,V__QUANT] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__PS,s__PricingScheme)s__and__ms__subclass(V__OBJ,s__Physical)s__and__ms__instance(V__QUANT,s__FunctionQuantity))
    s__=>(s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
    s__=>(s__exists__m[V__DURATION,V__CURR] :
       (s__instance(V__DURATION,s__TimeDuration)s__and__ms__instance(V__CURR,s__CurrencyMeasure)s__and__m(V__QUANTs__equal__ms__PerFn(V__CURR,V__DURATION))))))
)

Catalog.kif 442-448
( ! [V__AGENT,V__ENT,V__PS,V__QUANT] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__subclass(V__ENT,s__Entity)s__and__ms__instance(V__PS,s__PricingScheme)s__and__ms__instance(V__QUANT,s__FunctionQuantity))
    s__=>(s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS)
    s__=>(s__exists__m[V__MEAS,V__AMT,V__UOM] :
       (s__instance(V__AMT,s__RealNumber)s__and__ms__instance(V__UOM,s__UnitOfMeasure)s__and__m((V__QUANTs__equal__ms__PerFn(V__MEAS,s__MeasureFn(V__AMT,V__UOM)))
    s__and__ms__instance(V__MEAS,s__CurrencyMeasure))))))
)

Catalog.kif 387-392


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners