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
-------------------------


(documentation CurrencyMeasure ChineseLanguage "这个 ConstantQuantity subclass 的实例是 用来量度 monetaryValue 的,它以某些 UnitOfCurrencyUnitedStatesDollarUnitedStatesCent、人民币、日元等等来表示。") chinese_format.kif 2419-2421
(documentation CurrencyMeasure 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 6207-6210
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6205-6205 subclass CurrencyMeasure and ConstantQuantity

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


(range ABPFn CurrencyMeasure) UXExperimentalTerms.kif 3437-3437 range ABPFn and CurrencyMeasure
(range ASPFn CurrencyMeasure) UXExperimentalTerms.kif 3480-3480 range ASPFn and CurrencyMeasure
(range AuctionGMBFn CurrencyMeasure) UXExperimentalTerms.kif 3402-3402 range AuctionGMBFn and CurrencyMeasure
(range GMBFn CurrencyMeasure) UXExperimentalTerms.kif 3156-3156 range GMBFn and CurrencyMeasure
(range GMVFn CurrencyMeasure) UXExperimentalTerms.kif 3199-3199 range GMVFn and CurrencyMeasure
(range WealthFn CurrencyMeasure) Merge.kif 7697-7697 range WealthFn and CurrencyMeasure
(subclass Interest CurrencyMeasure) FinancialOntology.kif 513-513 subclass Interest and CurrencyMeasure
(termFormat ChineseLanguage CurrencyMeasure "货币测量") chinese_format.kif 1308-1308
(termFormat EnglishLanguage CurrencyMeasure "currency measure") english_format.kif 1833-1833

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


(domain amountOfBid 2 CurrencyMeasure) UXExperimentalTerms.kif 1653-1653 domain amountOfBid, 2 and CurrencyMeasure
(domain annualExpendituresOfArea 2 CurrencyMeasure) Economy.kif 1520-1520 domain annualExpendituresOfArea, 2 and CurrencyMeasure
(domain annualExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1509-1509 domain annualExpendituresOfAreaInPeriod, 2 and CurrencyMeasure
(domain annualExportTotal 2 CurrencyMeasure) Economy.kif 2280-2280 domain annualExportTotal, 2 and CurrencyMeasure
(domain annualImportTotal 2 CurrencyMeasure) Economy.kif 2585-2585 domain annualImportTotal, 2 and CurrencyMeasure
(domain annualRevenuesOfArea 2 CurrencyMeasure) Economy.kif 1492-1492 domain annualRevenuesOfArea, 2 and CurrencyMeasure
(domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1481-1481 domain annualRevenuesOfAreaInPeriod, 2 and CurrencyMeasure
(domain capitalExpendituresOfArea 2 CurrencyMeasure) Economy.kif 1560-1560 domain capitalExpendituresOfArea, 2 and CurrencyMeasure
(domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1539-1539 domain capitalExpendituresOfAreaInPeriod, 2 and CurrencyMeasure
(domain corkageFee 1 CurrencyMeasure) Dining.kif 119-119 domain corkageFee, 1 and CurrencyMeasure
(domain currencyExchangePerUSDollar 1 CurrencyMeasure) Economy.kif 3639-3639 domain currencyExchangePerUSDollar, 1 and CurrencyMeasure
(domain currencyExchangeRate 2 CurrencyMeasure) Economy.kif 3664-3664 domain currencyExchangeRate, 2 and CurrencyMeasure
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure) Economy.kif 3650-3650 domain currencyExchangeRateInPeriod, 2 and CurrencyMeasure
(domain currencyValue 2 CurrencyMeasure) Economy.kif 3613-3613 domain currencyValue, 2 and CurrencyMeasure
(domain customerValue 3 CurrencyMeasure) UXExperimentalTerms.kif 1482-1482 domain customerValue, 3 and CurrencyMeasure
(domain economicAidDonated 2 CurrencyMeasure) Economy.kif 2816-2816 domain economicAidDonated, 2 and CurrencyMeasure
(domain economicAidDonatedInPeriod 2 CurrencyMeasure) Economy.kif 2799-2799 domain economicAidDonatedInPeriod, 2 and CurrencyMeasure
(domain economicAidReceivedNet 2 CurrencyMeasure) Economy.kif 2858-2858 domain economicAidReceivedNet, 2 and CurrencyMeasure
(domain economicAidReceivedNetInPeriod 2 CurrencyMeasure) Economy.kif 2843-2843 domain economicAidReceivedNetInPeriod, 2 and CurrencyMeasure
(domain exportTotalInPeriod 2 CurrencyMeasure) Economy.kif 2269-2269 domain exportTotalInPeriod, 2 and CurrencyMeasure
(domain externalDebt 2 CurrencyMeasure) Economy.kif 2778-2778 domain externalDebt, 2 and CurrencyMeasure
(domain externalDebtInPeriod 2 CurrencyMeasure) Economy.kif 2766-2766 domain externalDebtInPeriod, 2 and CurrencyMeasure
(domain grossMerchandiseBoughtInPeriod 3 CurrencyMeasure) ComputerInput.kif 2963-2963 domain grossMerchandiseBoughtInPeriod, 3 and CurrencyMeasure
(domain grossMerchandiseSoldInPeriod 3 CurrencyMeasure) ComputerInput.kif 2992-2992 domain grossMerchandiseSoldInPeriod, 3 and CurrencyMeasure
(domain importTotalInPeriod 2 CurrencyMeasure) Economy.kif 2573-2573 domain importTotalInPeriod, 2 and CurrencyMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?BIDDING Bidding)
        (instance ?OBJECT Physical)
        (instance ?AMOUNT CurrencyMeasure)
        (instance ?AGENT ?AGENT)
        (objectOfBid ?BIDDING ?OBJECT)
        (amountOfBid ?BIDDING ?AMOUNT)
        (agent ?BIDDING ?AGENT))
    (bidPrice ?OBJECT ?AMOUNT ?AGENT))
UXExperimentalTerms.kif 1614-1623
(=>
    (and
        (instance ?BUYINGS Collection)
        (instance ?GMB CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMB
            (GMBFn ?BUYINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?BUYING)
                            (and
                                (member ?BUYING ?BUYINGS)
                                (patient ?ITEM ?BUYING))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3447-3467
(=>
    (and
        (instance ?SELLINGS Collection)
        (instance ?GMV CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMV
            (GMVFn ?SELLINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?SELLING)
                            (and
                                (member ?SELLING ?SELLINGS)
                                (patient ?SELLING ?ITEM))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))
UXExperimentalTerms.kif 3490-3510

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfCurrency))
    (instance ?QUANT CurrencyMeasure))
Merge.kif 6292-6296
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM))
    (exists (?BIDDER ?OFFER)
        (and
            (instance ?BIDDER Agent)
            (instance ?OFFER CurrencyMeasure)
            (bidPrice ?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 426-435
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 500-506
(=>
    (instance ?X CurrencyExchangeService)
    (exists (?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 2077-2097
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 454-460
(=>
    (unitPrice ?ENT ?QUANT ?AGENT ?PS)
    (exists (?MEAS ?AMT ?UOM)
        (and
            (equal ?QUANT
                (PerFn ?MEAS
                    (MeasureFn ?AMT ?UOM)))
            (instance ?MEAS CurrencyMeasure))))
Catalog.kif 397-402


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