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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyExchangeService

Sigma KEE - CurrencyExchangeService
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

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


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


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