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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeInterval
TimeInterval(time interval)1920s, 1930s, 1940s, 1950s, 1960s, 1970s, 1980s, 1990s, 24/7, Ab, Adar, Adar_Sheni, Aegean_civilisation, Aegean_civilization, Aegean_culture, Aghan, Allhallowtide, Asadha, Asarh, Asin, Asvina, Augustan, Av, Baisakh, Bhadon, Bhadrapada, Bronze_Age, Caitra, Caliphate, Chait, Chislev, Christian_era, Christmas, Christmastide, Christmastime, Common_era, Cretaceous, Cyclades, Cycladic_civilisation, Cycladic_civilization, Cycladic_culture, Dark_Ages, Depression, Dhu'l-Hijja, Dhu'l-Hijjah, Dhu'l-Qa'dah, Dhu_al-Hijja, Dhu_al-Hijjah, Dhu_al-Qadah, ERA...

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


(documentation TimeInterval ChineseLanguage "这是一个时段。注: TimeInterval 在通用时间轴上 皆有范围和位置;另外 TimeInterval 是没有间隙的,即这个类别只含凸时间间隔。") chinese_format.kif 1785-1786
(documentation TimeInterval EnglishLanguage "An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.") Merge.kif 2000-2003
(subclass TimeInterval TimePosition) Merge.kif 1998-1998 Time interval is a subclass of time position

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


(instance BeforeCommonEra TimeInterval) Mid-level-ontology.kif 7442-7442 Before common era is an instance of time interval
(instance CommonEra TimeInterval) Mid-level-ontology.kif 7450-7450 Common era is an instance of time interval
(partition TimePosition TimeInterval TimePoint) Merge.kif 1993-1993 Time position is exhaustively partitioned into time interval and time point
(range FiscalYearStartingFn TimeInterval) Economy.kif 3727-3727 The range of fiscal year starting is an instance of time interval
(range FutureFn TimeInterval) Merge.kif 8121-8121 The range of future is an instance of time interval
(range ImmediateFutureFn TimeInterval) Merge.kif 8138-8138 The range of immediate future is an instance of time interval
(range ImmediatePastFn TimeInterval) Merge.kif 8107-8107 The range of immediate past is an instance of time interval
(range PastFn TimeInterval) Merge.kif 8089-8089 The range of past is an instance of time interval
(range SiteSpeedFn TimeInterval) UXExperimentalTerms.kif 3956-3956 The range of site speed is an instance of time interval
(range TTFxFn TimeInterval) UXExperimentalTerms.kif 1701-1701 The range of TTFx is an instance of time interval
(range TimeIntervalFn TimeInterval) Merge.kif 8022-8022 The range of time interval is an instance of time interval
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 12888-12888 The range of time period function is an instance of time interval
(range WhenFn TimeInterval) Merge.kif 8078-8078 The range of when is an instance of time interval
(rangeSubclass FiscalYearFn TimeInterval) Economy.kif 3701-3701 The values returned by fiscal year are subclasses of time interval
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 8055-8055 The values returned by recurrent time interval are subclasses of time interval
(rangeSubclass TemporalCompositionFn TimeInterval) Merge.kif 8969-8969 The values returned by temporal composition are subclasses of time interval
(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 17775-17775 Ante meridiem is a subclass of time interval
(subclass BreakfastTime TimeInterval) Food.kif 195-195 Breakfast time is a subclass of time interval
(subclass Day TimeInterval) Merge.kif 8824-8824 Day is a subclass of time interval
(subclass DayTime TimeInterval) Merge.kif 8459-8459 Day time is a subclass of time interval
(subclass Decade TimeInterval) Merge.kif 8375-8375 Decade is a subclass of time interval
(subclass DhuAlHijjah TimeInterval) ArabicCulture.kif 103-103 Dhu al hijjah is a subclass of time interval
(subclass DinnerTime TimeInterval) Food.kif 224-224 Dinner time is a subclass of time interval
(subclass Holiday TimeInterval) Mid-level-ontology.kif 13671-13671 Holiday is a subclass of time interval
(subclass Hour TimeInterval) Merge.kif 8934-8934 Hour is a subclass of time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain BeginFn 1 TimeInterval) Merge.kif 7715-7715 The number 1 argument of begin is an instance of time interval
(domain EndFn 1 TimeInterval) Merge.kif 7743-7743 The number 1 argument of end is an instance of time interval
(domain GPIFn 2 TimeInterval) UXExperimentalTerms.kif 3367-3367 The number 2 argument of GPW is an instance of time interval
(domain Mean10MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2212-2212 The number 2 argument of ten minute mean surface wind speed is an instance of time interval
(domain Mean1MinuteWindSpeedFn 2 TimeInterval) Weather.kif 2317-2317 The number 2 argument of one minute mean surface wind speed is an instance of time interval
(domain Mean2MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2282-2282 The number 2 argument of two minute mean surface wind speed is an instance of time interval
(domain Mean3MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2247-2247 The number 2 argument of three minute mean surface wind speed is an instance of time interval
(domain Mean3SecondWindSpeedFn 2 TimeInterval) Weather.kif 1899-1899 The number 2 argument of three second mean surface wind speed is an instance of time interval
(domain Mean3SecondWindSpeedListFn 2 TimeInterval) Weather.kif 1987-1987 The number 2 argument of mean three second wind speed list is an instance of time interval
(domain MusicalInterpretationFn 3 TimeInterval) Music.kif 843-843 The number 3 argument of musical interpretation is an instance of time interval
(domain PPIFn 2 TimeInterval) UXExperimentalTerms.kif 3293-3293 The number 2 argument of qualifying purchases per user per interval is an instance of time interval
(domain SCRFn 2 TimeInterval) UXExperimentalTerms.kif 3868-3868 The number 2 argument of sales conversion rate is an instance of time interval
(domain SiteWideNewBuyersFn 1 TimeInterval) UXExperimentalTerms.kif 3572-3572 The number 1 argument of new buyers is an instance of time interval
(domain SiteWideNewRegistrationsFn 1 TimeInterval) UXExperimentalTerms.kif 3624-3624 The number 1 argument of site-wide new registrations is an instance of time interval
(domain SiteWideNewSellersFn 1 TimeInterval) UXExperimentalTerms.kif 3671-3671 The number 1 argument of site-wide new sellers is an instance of time interval
(domain TemporalCompositionFn 1 TimeInterval) Merge.kif 8967-8967 The number 1 argument of temporal composition is an instance of time interval
(domain ThreeSecondGustSpeedFn 2 TimeInterval) Weather.kif 2027-2027 The number 2 argument of three second gust speed is an instance of time interval
(domain TimeIntervalListFn 1 TimeInterval) Weather.kif 1955-1955 The number 1 argument of time interval list is an instance of time interval
(domain agreementPeriod 2 TimeInterval) Mid-level-ontology.kif 12861-12861 The number 2 argument of agreement period is an instance of time interval
(domain anniversary 2 TimeInterval) Mid-level-ontology.kif 22913-22913 The number 2 argument of anniversary is an instance of time interval
(domain burnInPeriod 2 TimeInterval) UXExperimentalTerms.kif 4507-4507 The number 2 argument of burn-in period is an instance of time interval
(domain compoundInterest 3 TimeInterval) FinancialOntology.kif 526-526 The number 3 argument of compound interest is an instance of time interval
(domain constructionPeriod 2 TimeInterval) Mid-level-ontology.kif 19452-19452 The number 2 argument of construction period is an instance of time interval
(domain creditsPerPeriod 3 TimeInterval) FinancialOntology.kif 3783-3783 The number 3 argument of credits per period is an instance of time interval
(domain daylightHoursInterval 3 TimeInterval) Weather.kif 852-852 The number 3 argument of daylight hours interval is an instance of time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?P Expellee)
                (citizen ?P ?HOME-NATION)))
        (instance ?T1 TimeInterval))
    (exists (?TRANS ?NATION)
        (and
            (instance ?NATION Nation)
            (not
                (equal ?NATION ?HOME-NATION))
            (instance ?TRANS Translocation)
            (origin ?TRANS ?NATION)
            (patient ?TRANS ?P)
            (destination ?TRANS ?HOME-NATION)
            (temporalPart ?T1
                (WhenFn ?TRANS)))))
MilitaryPersons.kif 151-167
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P Evacuee))
        (instance ?T1 TimeInterval))
    (exists (?EV ?MIL)
        (and
            (instance ?EV Evacuation)
            (agent ?EV ?MIL)
            (instance ?MIL MilitaryOrganization)
            (experiencer ?EV ?P)
            (earlier
                (WhenFn ?EV) ?T1))))
MilitaryPersons.kif 120-131
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P InternallyDisplacedPerson))
        (instance ?T1 TimeInterval))
    (exists (?SITUATION)
        (and
            (earlier ?T0 ?T1)
            (causesProposition
                (holdsDuring ?T0
                    (fears ?P ?SITUATION))
                (holdsDuring ?T1
                    (attribute ?P InternallyDisplacedPerson))))))
MilitaryPersons.kif 101-111
(=>
    (and
        (holdsDuring ?T1
            (spouse ?P1 ?P2))
        (instance ?T1 TimeInterval))
    (exists (?WED)
        (and
            (instance ?WED Wedding)
            (patient ?WED ?P1)
            (patient ?WED ?P2)
            (earlier
                (WhenFn ?WED) ?T1))))
Mid-level-ontology.kif 7529-7539
(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))
Merge.kif 3708-3715
(=>
    (and
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE WebPage)
        (instance ?TRANSFER DataTransfer)
        (instance ?SERVER Server)
        (instance ?REQUESTING Requesting)
        (instance ?BROWSER WebBrowser)
        (instance ?INTERVAL TimeInterval)
        (patient ?ACCESSING ?PAGE)
        (agent ?REQUESTING ?BROWSER)
        (destination ?REQUESTING ?SERVER)
        (patient ?REQUESTING ?PAGE)
        (origin ?TRANSFER ?SERVER)
        (destination ?TRANSFER ?BROWSER)
        (patient ?TRANSFER ?PAGE)
        (subProcess ?TRANSFER ?ACCESSING)
        (subProcess ?REQUESTING ?ACCESSING)
        (equal
            (EndFn
                (WhenFn ?REQUESTING))
            (BeginFn ?INTERVAL))
        (equal
            (EndFn
                (WhenFn ?TRANSFER))
            (EndFn ?INTERVAL)))
    (equal
        (SiteSpeedFn ?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3966-3991
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?INTERVAL TimeInterval))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE
                            (QualifyingPurchasesFn ?EXPERIMENT))
                        (during
                            (WhenFn ?PURCHASE) ?INTERVAL))))
            (CardinalityFn
                (KappaFn ?USER
                    (and
                        (member ?USER
                            (TreatedUsersFn ?EXPERIMENT))
                        (instance ?ACCESSING AccessingWebPage)
                        (during
                            (WhenFn ?ACCESSING) ?INTERVAL)
                        (agent ?ACCESSING ?USER)))))
        (PPIFn ?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3302-3321
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?INTERVAL TimeInterval))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE
                            (QualifyingPurchasesFn ?EXPERIMENT)))))
            (CardinalityFn
                (KappaFn ?USER
                    (and
                        (member ?USER
                            (TreatedUsersFn ?EXPERIMENT))
                        (instance ?ACCESSING AccessingWebPage)
                        (agent ?ACCESSING ?USER)))))
        (PPSFn ?EXPERIMENT)))
UXExperimentalTerms.kif 3263-3280
(=>
    (and
        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
        (and
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))
Mid-level-ontology.kif 22254-22267
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3584-3616
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWREGISTRATIONS)
        (and
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                            (and
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3636-3663
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3683-3715
(=>
    (and
        (instance ?INTERVAL1 TimeInterval)
        (instance ?INTERVAL2 TimeInterval)
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (equal
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2)))
    (equal ?INTERVAL1 ?INTERVAL2))
Merge.kif 7971-7981
(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (and
        (equal
            (BeginFn ?INTERVAL) ?POINT1)
        (equal
            (EndFn ?INTERVAL) ?POINT2)))
Merge.kif 8029-8037
(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (forall (?POINT)
        (<=>
            (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 8039-8048
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT Agent)
        (agent ?PROCESS ?AGENT)
        (agent ?ACCESSING ?AGENT)
        (during ?PROCESS ?ACCESSING)
        (instance ?TIMETOFIRST TimeInterval)
        (not
            (exists (?PROCESS2)
                (and
                    (instance ?PROCESS2 ?PROCESS_CLASS)
                    (agent ?PROCESS2 ?AGENT)
                    (during ?PROCESS2 ?ACCESSING)
                    (before
                        (BeginFn
                            (WhenFn ?PROCESS2))
                        (BeginFn
                            (WhenFn ?PROCESS))))))
        (equal
            (BeginFn
                (WhenFn ?ACCESSING))
            (BeginFn
                (WhenFn ?TIMETOFIRST)))
        (equal
            (BeginFn
                (WhenFn ?PROCESS))
            (EndFn
                (WhenFn ?TIMETOFIRST))))
    (equal
        (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1703-1725
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 756)))
Economy.kif 440-446
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (greaterThanOrEqualTo ?AMOUNT 756)))
Economy.kif 455-461
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 2996)))
Economy.kif 463-469
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (greaterThanOrEqualTo ?AMOUNT 2996)))
Economy.kif 478-484
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 9267)))
Economy.kif 486-492
(=>
    (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 2631-2647
(=>
    (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 2585-2601
(=>
    (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 2649-2665

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimeInterval)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))
Merge.kif 7918-7924 A time interval overlaps another time interval if and only if there exists a time position such that the time position is an instance of time interval and the time position is a part of the other time interval and the time position is a part of the time interval
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (webcart ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?ATC))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1523-1539
(=>
    (and
        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
        (and
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))
Mid-level-ontology.kif 22254-22267
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3584-3616
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWREGISTRATIONS)
        (and
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                            (and
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3636-3663
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3683-3715
(=>
    (and
        (instance ?LIST ConsecutiveTimeIntervalList)
        (inList ?TIME ?LIST))
    (instance ?Time TimeInterval))
Weather.kif 1928-1932
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WarehousingAndStorage))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?B ?T)
                            (and
                                (instance ?T TimeInterval)
                                (instance ?B Building)
                                (possesses ?P ?OBJ)
                                (holdsDuring ?T
                                    (located ?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8783-8804
(=>
    (and
        (instance ?SAW Saw)
        (instance ?CUT Cutting)
        (instrument ?CUT ?SAW)
        (instance ?OBJ Object)
        (patient ?CUT ?OBJ))
    (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
        (and
            (instance ?MOTION Motion)
            (subProcess ?MOTION ?CUT)
            (instance ?PART CuttingDevice)
            (part ?PART ?SAW)
            (meetsSpatially ?PART ?OBJ)
            (patient ?MOTION ?PART)
            (instance ?T2 TimeInterval)
            (instance ?T2 TimeInterval)
            (equal
                (WhenFn ?MOTION) ?TIME)
            (temporalPart ?TIME ?T1)
            (temporalPart ?TIME ?T2)
            (instance ?DIR1 DirectionalAttribute)
            (instance ?DIR2 DirectionalAttribute)
            (=>
                (holdsDuring ?T1
                    (direction ?MOTION ?DIR1))
                (holdsDuring ?T2
                    (and
                        (direction ?MOTION ?DIR2)
                        (or
                            (equal ?DIR1 ?DIR2)
                            (oppositeDirection ?DIR1 ?DIR2))
                        (not
                            (and
                                (equal ?DIR1 ?DIR2)
                                (oppositeDirection ?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 16868-16902
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (watchingListings ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?WATCH))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1812-1828
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?DURING)
        (and
            (instance ?DURING TimeInterval)
            (during ?DURING ?INT)
            (holdsDuring ?DURING
                (registeredUser ?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3837-3846
(=>
    (and
        (newRegisteredUsers ?INT1 ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?INT2)
            (and
                (instance ?INT2 TimeInterval)
                (earlier ?INT2 ?INT1)
                (holdsDuring ?INT2
                    (registeredUser ?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3848-3858
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time)
        (and
            (instance ?Period TimeInterval)
            (finishes ?Period ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2769-2781
(=>
    (and
        (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
        (equal ?QUANT
            (PerFn ?PRICE
                (measure ?TIME ?U)))
        (instance ?U UnitOfDuration)
        (immediateInstance ?ITEM ?OBJ)
        (instance ?R Renting)
        (patient ?R ?ITEM)
        (possesses ?OBJ ?AGENT)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (and
                (during ?TIMEINT ?X)
                (instance ?X TimeInterval)
                (duration ?X
                    (MeasureFn ?DURATION ?U))
                (lessThanOrEqualTo ?DURATION ?TIME))
            (exists (?P)
                (and
                    (instance ?P Payment)
                    (destination ?P ?AGENT)
                    (agent ?P ?CUSTOMER)
                    (transactionAmount ?P ?PRICE))))))
Catalog.kif 458-483
(=>
    (holdsDuring ?T1
        (inhabits ?ORGANISM ?OBJ))
    (exists (?TIME)
        (and
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME ?T1)
            (holdsDuring ?TIME
                (located ?ORGANISM ?OBJ)))))
Merge.kif 13691-13697
(=>
    (instance ?C Convoy)
    (exists (?V1 ?V2 ?TIME)
        (and
            (not
                (equal ?V1 ?V2))
            (instance ?V1 Vehicle)
            (instance ?V2 Vehicle)
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME
                (WhenFn ?C))
            (holdsDuring ?TIME
                (and
                    (member ?V1 ?C)
                    (member ?V2 ?C))))))
Mid-level-ontology.kif 21108-21120
(=>
    (instance ?D Disappearing)
    (exists (?OBJ ?AGENT ?SEARCH ?TIME)
        (and
            (instance ?SEARCH Searching)
            (earlier
                (WhenFn ?D)
                (WhenFn ?SEARCH))
            (agent ?SEARCH ?AGENT)
            (instance ?OBJ Object)
            (patient ?D ?OBJ)
            (patient ?SEARCH ?OBJ)
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME
                (WhenFn ?SEARCH))
            (holdsDuring ?TIME
                (not
                    (modalAttribute
                        (exists (?DISC)
                            (and
                                (instance ?DISC Discovering)
                                (agent ?DISC ?AGENT)
                                (patient ?DISC ?OBJ))) Possibility))))))
Mid-level-ontology.kif 16073-16095
(=>
    (instance ?LIST ListOnSite)
    (exists (?SITE ?ADVERT ?EARLIER ?AFTER)
        (and
            (instance ?SITE WebSite)
            (instance ?ADVERT WebListing)
            (instance ?EARLIER TimeInterval)
            (instance ?AFTER TimeInterval)
            (patient ?LIST ?ADVERT)
            (equal
                (EndFn ?EARLIER)
                (EndFn ?LIST))
            (earlier ?LIST ?AFTER)
            (meetsTemporally ?LIST ?AFTER)
            (holdsDuring ?EARLIER
                (not
                    (hostedOn ?ADVERT ?SITE)))
            (holdsDuring ?AFTER
                (hostedOn ?ADVERT ?SITE))
            (agent ?LIST ?OWNER)
            (possesses ?OWNER ?SITE))))
UXExperimentalTerms.kif 338-358
(=>
    (instance ?POINT TimePoint)
    (exists (?INTERVAL)
        (and
            (instance ?INTERVAL TimeInterval)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 7679-7684

statement
-------------------------


(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))
Media.kif 1972-1980 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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