TimeInterval

-------------------------


(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 9267.0))))		 Economy.kif 490-497
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))		 Catalog.kif 139-150
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?CLASS agent ?AGENT ?TIME))		 Catalog.kif 130-137
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))		 FinancialOntology.kif 2669-2685
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2623-2639
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2687-2703
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))		 FinancialOntology.kif 2641-2659
(=>
    (instance ?INTERVAL TimeInterval)
    (before
        (BeginFn ?INTERVAL)
        (EndFn ?INTERVAL)))		 Merge.kif 8168-8170
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))		 Merge.kif 8557-8559
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))		 Merge.kif 8526-8528
(=>
    (instance ?INTERVAL TimeInterval)
    (exists (?POINT)
        (and
            (instance ?POINT TimePoint)
            (temporalPart ?POINT ?INTERVAL))))		 Merge.kif 7983-7988
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))		 Merge.kif 8540-8542
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))		 Merge.kif 8522-8524
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally ?INTERVAL
        (FutureFn ?INTERVAL)))		 Merge.kif 8553-8555
(=>
    (instance ?INTERVAL TimeInterval)
    (starts
        (ImmediateFutureFn ?INTERVAL)
        (FutureFn ?INTERVAL)))		 Merge.kif 8571-8573


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