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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CurrencyExchangeService

appearance as argument number 1

(documentation CurrencyExchangeService EnglishLanguage "CurrencyExchangeService is a type of service where some amount in a certain currency is exchange for an equivalent amount in another currency") Hotel.kif 2072-2074
(subclass CurrencyExchangeService ServiceProcess) Hotel.kif 2071-2071

appearance as argument number 2

(termFormat EnglishLanguage CurrencyExchangeService "currency exchange") Hotel.kif 2075-2075


    (instance ?X CurrencyExchangeService)
    (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST)
            (agent ?X ?CUST)
                (equal ?CURR1 ?CURR2))
            (instance ?AMT1 CurrencyMeasure)
            (instance ?AMT2 CurrencyMeasure)
                    (StartFn ?X))
                    (monetaryValue ?M1 ?AMT1)
                    (possesses ?CUST ?M1)
                    (equal ?AMT1
                        (MeasureFn ?NUM1 ?CURR1))))
                    (EndFn ?X))
                    (monetaryValue ?M2 ?AMT2)
                    (possesses ?CUST ?M2)
                        (possesses ?CUST ?M1))
                    (equal ?AMT2
                        (MeasureFn ?NUM2 ?CURR2)))))))
Hotel.kif 2077-2097

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