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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfCurrency

Sigma KEE - UnitOfCurrency
UnitOfCurrency

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


(documentation UnitOfCurrency ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 CurrencyMeasure 实例的 UnitOfMeasure。") chinese_format.kif 2422-2423
(documentation UnitOfCurrency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.") Merge.kif 6214-6215
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6212-6212 subclass UnitOfCurrency and NonCompositeUnitOfMeasure

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


(instance AfghanAfghani UnitOfCurrency) Economy.kif 2893-2893 instance AfghanAfghani and UnitOfCurrency
(instance AlbanianLek UnitOfCurrency) Economy.kif 2953-2953 instance AlbanianLek and UnitOfCurrency
(instance AlgerianDinar UnitOfCurrency) Economy.kif 2957-2957 instance AlgerianDinar and UnitOfCurrency
(instance AngolanKwanza UnitOfCurrency) Economy.kif 2961-2961 instance AngolanKwanza and UnitOfCurrency
(instance ArgentineAustral UnitOfCurrency) Economy.kif 2965-2965 instance ArgentineAustral and UnitOfCurrency
(instance ArmenianDram UnitOfCurrency) Economy.kif 2969-2969 instance ArmenianDram and UnitOfCurrency
(instance AustralianDollar UnitOfCurrency) Economy.kif 2973-2973 instance AustralianDollar and UnitOfCurrency
(instance AustrianSchilling UnitOfCurrency) Economy.kif 2977-2977 instance AustrianSchilling and UnitOfCurrency
(instance AzerbaijaniManat UnitOfCurrency) Economy.kif 2981-2981 instance AzerbaijaniManat and UnitOfCurrency
(instance BahamianDollar UnitOfCurrency) Economy.kif 2985-2985 instance BahamianDollar and UnitOfCurrency
(instance BahrainianDinar UnitOfCurrency) Economy.kif 2989-2989 instance BahrainianDinar and UnitOfCurrency
(instance BangladeshiTaka UnitOfCurrency) Economy.kif 2993-2993 instance BangladeshiTaka and UnitOfCurrency
(instance BarbadosDollar UnitOfCurrency) Economy.kif 2997-2997 instance BarbadosDollar and UnitOfCurrency
(instance BelarusianRubel UnitOfCurrency) Economy.kif 3001-3001 instance BelarusianRubel and UnitOfCurrency
(instance BelgianFranc UnitOfCurrency) Economy.kif 3005-3005 instance BelgianFranc and UnitOfCurrency
(instance BelizeDollar UnitOfCurrency) Economy.kif 3009-3009 instance BelizeDollar and UnitOfCurrency
(instance BeninFranc UnitOfCurrency) Economy.kif 3013-3013 instance BeninFranc and UnitOfCurrency
(instance BermudaDollar UnitOfCurrency) Economy.kif 3017-3017 instance BermudaDollar and UnitOfCurrency
(instance BhutaneseNgultrum UnitOfCurrency) Economy.kif 3021-3021 instance BhutaneseNgultrum and UnitOfCurrency
(instance BolivianBoliviano UnitOfCurrency) Economy.kif 3025-3025 instance BolivianBoliviano and UnitOfCurrency
(instance BotswanaPula UnitOfCurrency) Economy.kif 3029-3029 instance BotswanaPula and UnitOfCurrency
(instance BrazilianReal UnitOfCurrency) Economy.kif 3033-3033 instance BrazilianReal and UnitOfCurrency
(instance BritishPound UnitOfCurrency) Economy.kif 2896-2896 instance BritishPound and UnitOfCurrency
(instance BruneiDollar UnitOfCurrency) Economy.kif 3037-3037 instance BruneiDollar and UnitOfCurrency
(instance BulgarianLev UnitOfCurrency) Economy.kif 3041-3041 instance BulgarianLev and UnitOfCurrency

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain currencyCode 2 UnitOfCurrency) Economy.kif 3625-3625 domain currencyCode, 2 and UnitOfCurrency
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3663-3663 domain currencyExchangeRate, 1 and UnitOfCurrency
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3649-3649 domain currencyExchangeRateInPeriod, 1 and UnitOfCurrency
(domain currencyType 2 UnitOfCurrency) Economy.kif 2883-2883 domain currencyType, 2 and UnitOfCurrency

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfCurrency))
    (instance ?QUANT CurrencyMeasure))
Merge.kif 6292-6296
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 Agent)
        (instance ?BIDDER2 Agent)
        (instance ?ITEM Object)
        (instance ?U UnitOfCurrency)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER1 ?U) ?BIDDER1)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER2 ?U) ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-448
(=>
    (and
        (instance ?U UnitOfCurrency)
        (reservePrice ?AUCTION
            (MeasureFn ?AMOUNT ?U))
        (destination ?AUCTION ?BUYER))
    (exists (?OFFER)
        (and
            (bidPrice ?ITEM
                (MeasureFn ?OFFER ?U) ?BUYER)
            (greaterThan ?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 520-528
(=>
    (and
        (priceRange ?ENT
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U) ?AGENT)
        (instance ?U UnitOfCurrency))
    (exists (?NUM ?PRICE ?PS)
        (and
            (lessThanOrEqualTo ?NUM ?MAX)
            (greaterThanOrEqualTo ?NUM ?MIN)
            (equal ?PRICE
                (MeasureFn ?NUM ?U))
            (or
                (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
                (productPrice ?ENT ?PRICE ?AGENT)
                (unitPrice ?ENT ?PRICE ?AGENT ?PS)))))
Catalog.kif 203-218
(=>
    (and
        (productPrice ?ENT
            (MeasureFn ?PRICE1 ?U) ?AGENT)
        (instance ?U UnitOfCurrency)
        (publishedPrice ?ENT
            (MeasureFn ?PRICE2 ?U) ?AGENT ?PS)
        (validFor ?PS ?CUSTCLASS)
        (instance ?ITEM ?ENT)
        (instance ?B Buying)
        (immediateInstance ?CUST ?CUSTCLASS)
        (agent ?B ?CUST)
        (origin ?B ?AGENT)
        (lessThan ?PRICE2 ?PRICE1))
    (modalAttribute
        (transactionAmount ?B ?PRICE1) Likely))
Catalog.kif 425-440

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-212
(=>
    (and
        (instance ?S Saving)
        (patient ?S ?O)
        (agent ?S ?A))
    (exists (?Q1 ?Q2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (BeginFn
                    (WhenFn ?S))
                (monetaryValue ?O
                    (MeasureFn ?Q1 ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?S))
                (monetaryValue ?O
                    (MeasureFn ?Q2 ?U)))
            (possesses ?A ?O)
            (lessThan ?Q1 ?Q2))))
Mid-level-ontology.kif 23268-23285
(=>
    (and
        (instance ?SALE BargainSale)
        (patient ?SALE ?OBJ)
        (instance ?OBJ Object))
    (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?SALE))
                (price ?OBJ
                    (MeasureFn ?PRICE1 ?U) ?AGENT1))
            (holdsDuring
                (WhenFn ?SALE)
                (price ?OBJ
                    (MeasureFn ?PRICE2 ?U) ?AGENT2))
            (lessThan ?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7517-7531
(=>
    (and
        (paidFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X
            (MeasureFn ?PRICE ?U) ?AGENT)
        (instance ?U UnitOfCurrency)
        (greaterThan ?PRICE 0)))
Hotel.kif 850-875
(=>
    (and
        (paidPropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X
            (MeasureFn ?PRICE ?U) ?AGENT)
        (instance ?U UnitOfCurrency)
        (greaterThan ?PRICE 0)))
Hotel.kif 549-568
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (instance ?O ?OBJ)
            (located ?O ?R)
            (instance ?P Process)
            (agent ?P ?GUEST)
            (or
                (located ?P ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P
                (MeasureFn ?PRICE ?U) ?HOTEL)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 374-396
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (patient ?P ?GUEST)
            (or
                (instance ?P ?PROC)
                (and
                    (instance ?S ?PROC)
                    (subProcess ?P ?S)))
            (located ?P ?R))
        (and
            (price ?P
                (MeasureFn ?PRICE ?U) ?HOTEL)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 398-418


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