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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeInterval
TimeInterval(IntervalloTemporale)

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 2086-2089
(documentation TimeInterval JapaneseLanguage "時間の間隔。 注 1： TimeInterval には、ユニバーサル タイムライン上の範囲と場所の両方がある。 注 2： TimeInterval にはギャップがない。 例： このクラスには、凸時間間隔のみが含まれる。") japanese_format.kif 398-401
(subclass TimeInterval TimePosition) Merge.kif 2084-2084 IntervalloTemporale è una sottoclasse di PosizioneTemporale

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


(instance BeforeCommonEra TimeInterval) Mid-level-ontology.kif 7884-7884 BeforeCommonEra è un' istanza di IntervalloTemporale
(instance CommonEra TimeInterval) Mid-level-ontology.kif 7892-7892 CommonEra è un' istanza di IntervalloTemporale
(partition TimePosition TimeInterval TimePoint) Merge.kif 2079-2079 PosizioneTemporale è esaustivamente partizionato in IntervalloTemporale + PuntoTemporale
(range FiscalYearStartingFn TimeInterval) Economy.kif 3726-3726 rango di FiscalYearStartingFn è un'istanza di IntervalloTemporale
(range FutureFn TimeInterval) Merge.kif 8534-8534 rango di FutureFn è un'istanza di IntervalloTemporale
(range ImmediateFutureFn TimeInterval) Merge.kif 8551-8551 rango di ImmediateFutureFn è un'istanza di IntervalloTemporale
(range ImmediatePastFn TimeInterval) Merge.kif 8520-8520 rango di ImmediatePastFn è un'istanza di IntervalloTemporale
(range PastFn TimeInterval) Merge.kif 8502-8502 rango di PastFn è un'istanza di IntervalloTemporale
(range SiteSpeedFn TimeInterval) UXExperimentalTerms.kif 3749-3749 rango di SiteSpeedFn è un'istanza di IntervalloTemporale
(range TTFxFn TimeInterval) UXExperimentalTerms.kif 1494-1494 rango di TTFxFn è un'istanza di IntervalloTemporale
(range TimeIntervalFn TimeInterval) Merge.kif 8435-8435 rango di TimeIntervalFn è un'istanza di IntervalloTemporale
(range TimePeriodFn TimeInterval) Mid-level-ontology.kif 14037-14037 rango di TimePeriodFn è un'istanza di IntervalloTemporale
(range WhenFn TimeInterval) Merge.kif 8491-8491 rango di WhenFn è un'istanza di IntervalloTemporale
(rangeSubclass FiscalYearFn TimeInterval) Economy.kif 3698-3698 I valori resi da FiscalYearFn sono sottoclassi diIntervalloTemporale
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 8468-8468 I valori resi da RecurrentTimeIntervalFn sono sottoclassi diIntervalloTemporale
(rangeSubclass TemporalCompositionFn TimeInterval) Merge.kif 9397-9397 I valori resi da TemporalCompositionFn sono sottoclassi diIntervalloTemporale
(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 19090-19090 AnteMeridiem è una sottoclasse di IntervalloTemporale
(subclass BreakfastTime TimeInterval) Food.kif 1849-1849 BreakfastTime è una sottoclasse di IntervalloTemporale
(subclass Day TimeInterval) Merge.kif 9252-9252 Giorno è una sottoclasse di IntervalloTemporale
(subclass DayTime TimeInterval) Merge.kif 8879-8879 DayTime è una sottoclasse di IntervalloTemporale
(subclass Decade TimeInterval) Merge.kif 8787-8787 Decade è una sottoclasse di IntervalloTemporale
(subclass DhuAlHijjah TimeInterval) ArabicCulture.kif 112-112 DhuAlHijjah è una sottoclasse di IntervalloTemporale
(subclass DinnerTime TimeInterval) Food.kif 1878-1878 DinnerTime è una sottoclasse di IntervalloTemporale
(subclass Holiday TimeInterval) Mid-level-ontology.kif 14847-14847 Holiday è una sottoclasse di IntervalloTemporale
(subclass Hour TimeInterval) Merge.kif 9362-9362 Ora è una sottoclasse di IntervalloTemporale

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 8004-8004 Il numero 1 argomenti di BeginFn è un istanza di IntervalloTemporale
(domain ContestFn 2 TimeInterval) Music.kif 1048-1048 Il numero 2 argomenti di ContestFn è un istanza di IntervalloTemporale
(domain EndFn 1 TimeInterval) Merge.kif 8032-8032 Il numero 1 argomenti di EndFn è un istanza di IntervalloTemporale
(domain GPIFn 2 TimeInterval) UXExperimentalTerms.kif 3160-3160 Il numero 2 argomenti di GPIFn è un istanza di IntervalloTemporale
(domain Mean10MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2215-2215 Il numero 2 argomenti di Mean10MinutesWindSpeedFn è un istanza di IntervalloTemporale
(domain Mean1MinuteWindSpeedFn 2 TimeInterval) Weather.kif 2320-2320 Il numero 2 argomenti di Mean1MinuteWindSpeedFn è un istanza di IntervalloTemporale
(domain Mean2MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2285-2285 Il numero 2 argomenti di Mean2MinutesWindSpeedFn è un istanza di IntervalloTemporale
(domain Mean3MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2250-2250 Il numero 2 argomenti di Mean3MinutesWindSpeedFn è un istanza di IntervalloTemporale
(domain Mean3SecondWindSpeedFn 2 TimeInterval) Weather.kif 1896-1896 Il numero 2 argomenti di Mean3SecondWindSpeedFn è un istanza di IntervalloTemporale
(domain Mean3SecondWindSpeedListFn 2 TimeInterval) Weather.kif 1990-1990 Il numero 2 argomenti di Mean3SecondWindSpeedListFn è un istanza di IntervalloTemporale
(domain MusicalInterpretationFn 3 TimeInterval) Music.kif 847-847 Il numero 3 argomenti di MusicalInterpretationFn è un istanza di IntervalloTemporale
(domain PPIFn 2 TimeInterval) UXExperimentalTerms.kif 3086-3086 Il numero 2 argomenti di PPIFn è un istanza di IntervalloTemporale
(domain SCRFn 2 TimeInterval) UXExperimentalTerms.kif 3660-3660 Il numero 2 argomenti di SCRFn è un istanza di IntervalloTemporale
(domain SiteWideNewBuyersFn 1 TimeInterval) UXExperimentalTerms.kif 3364-3364 Il numero 1 argomenti di SiteWideNewBuyersFn è un istanza di IntervalloTemporale
(domain SiteWideNewRegistrationsFn 1 TimeInterval) UXExperimentalTerms.kif 3416-3416 Il numero 1 argomenti di SiteWideNewRegistrationsFn è un istanza di IntervalloTemporale
(domain SiteWideNewSellersFn 1 TimeInterval) UXExperimentalTerms.kif 3463-3463 Il numero 1 argomenti di SiteWideNewSellersFn è un istanza di IntervalloTemporale
(domain TemporalCompositionFn 1 TimeInterval) Merge.kif 9395-9395 Il numero 1 argomenti di TemporalCompositionFn è un istanza di IntervalloTemporale
(domain ThreeSecondGustSpeedFn 2 TimeInterval) Weather.kif 2030-2030 Il numero 2 argomenti di ThreeSecondGustSpeedFn è un istanza di IntervalloTemporale
(domain TimeIntervalListFn 1 TimeInterval) Weather.kif 1952-1952 Il numero 1 argomenti di TimeIntervalListFn è un istanza di IntervalloTemporale
(domain agreementPeriod 2 TimeInterval) Mid-level-ontology.kif 14010-14010 Il numero 2 argomenti di agreementPeriod è un istanza di IntervalloTemporale
(domain averageTemperatureForPeriod 2 TimeInterval) Weather.kif 982-982 Il numero 2 argomenti di averageTemperatureForPeriod è un istanza di IntervalloTemporale
(domain breathingRate 2 TimeInterval) Mid-level-ontology.kif 10377-10377 Il numero 2 argomenti di breathingRate è un istanza di IntervalloTemporale
(domain burnInPeriod 2 TimeInterval) UXExperimentalTerms.kif 4303-4303 Il numero 2 argomenti di burnInPeriod è un istanza di IntervalloTemporale
(domain compoundInterest 3 TimeInterval) FinancialOntology.kif 554-554 Il numero 3 argomenti di compoundInterest è un istanza di IntervalloTemporale
(domain constructionPeriod 2 TimeInterval) Mid-level-ontology.kif 20802-20802 Il numero 2 argomenti di constructionPeriod è un istanza di IntervalloTemporale

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 ?T0)
        (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 7971-7981
(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))		 Merge.kif 3836-3843
(=>
    (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 3759-3784
(=>
    (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 3095-3114
(=>
    (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 3056-3073
(=>
    (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 23512-23525
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (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 3376-3408
(=>
    (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 3428-3455
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (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 3475-3507
(=>
    (and
        (instance ?INTERVAL1 TimeInterval)
        (instance ?INTERVAL2 TimeInterval)
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (equal
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2)))
    (equal ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8376-8386
(=>
    (and
        (instance ?INTERVAL3 TimeInterval)
        (temporalPart ?INTERVAL3 ?INTERVAL1)
        (temporalPart ?INTERVAL3 ?INTERVAL2))
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8264-8269
(=>
    (and
        (instance ?MB MeasuringBreathing)
        (agent ?MB ?A)
        (instance ?L Lung)
        (part ?L ?P)
        (instance ?T TimeInterval)
        (during ?T
            (WhenFn ?MB))
        (duration ?T MinuteDuration)
        (patient ?MB ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?MB))
        (exists (?BR)
            (knows ?A
                (breathingRate ?L ?T ?BR)))))		 Medicine.kif 466-482
(=>
    (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 8442-8450
(=>
    (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 8452-8461
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT AutonomousAgent)
        (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 1496-1518
(=>
    (and
        (instance ?TI TimeInterval)
        (equal ?S
            (BeginFn ?TI))
        (equal ?E
            (EndFn ?TI)))
    (before ?S ?E))		 Merge.kif 8284-8289
(=>
    (and
        (instance ?TI1 TimeInterval)
        (instance ?TI2 TimeInterval)
        (beforeOrEqual
            (BeginFn ?TI2)
            (BeginFn ?TI1))
        (before
            (BeginFn ?TI1)
            (EndFn ?TI2)))
    (overlapsTemporally ?TI2 ?TI1))		 Merge.kif 8291-8301
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 756.0))))		 Economy.kif 440-447
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 756.0))))		 Economy.kif 456-463
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 2996.0))))		 Economy.kif 465-472
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 2996.0))))		 Economy.kif 481-488

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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 ?INTERVAL)
        (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 1326-1342
(=>
    (and
        (instance ?FL FlashingLight)
        (origin ?FL ?L))
    (exists (?I1 ?T2 ?I3)
        (and
            (instance ?I1 RadiatingLight)
            (instance ?T2 TimeInterval)
            (instance ?I3 RadiatingLight)
            (meetsTemporally
                (WhenFn ?I1) ?I2)
            (meetsTemporally ?I2
                (WhenFn ?I3))
            (not
                (exists (?I2)
                    (and
                        (instance ?I2 RadiatingLight)
                        (origin ?I2 ?L)
                        (during
                            (WhenFn ?I2) ?T2))))
            (subProcess ?I1 ?FL)
            (subProcess ?I3 ?FL))))		 Mid-level-ontology.kif 643-661
(=>
    (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 23512-23525
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (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 3376-3408
(=>
    (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 3428-3455
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (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 3475-3507
(=>
    (and
        (instance ?LIST ConsecutiveTimeIntervalList)
        (inList ?TIME ?LIST))
    (instance ?Time TimeInterval))		 Weather.kif 1925-1929
(=>
    (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 8776-8797
(=>
    (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 18149-18183
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1605-1621
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?DURING)
        (and
            (instance ?DURING TimeInterval)
            (during ?DURING ?INT)
            (holdsDuring ?DURING
                (registeredUser ?MEMBER ?SITE)))))		 UXExperimentalTerms.kif 3629-3638
(=>
    (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 3640-3650
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time ?Exercise)
        (and
            (instance ?Period TimeInterval)
            (equal
                (EndFn ?Period) ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))		 FinancialOntology.kif 2808-2820
(=>
    (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)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (exists (?DURATION)
                (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 467-492
(=>
    (holdsDuring ?T1
        (inhabits ?ORGANISM ?OBJ))
    (exists (?TIME)
        (and
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME ?T1)
            (holdsDuring ?TIME
                (located ?ORGANISM ?OBJ)))))		 Merge.kif 14398-14404
(=>
    (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 22333-22345
(=>
    (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 17322-17344
(=>
    (instance ?LIST ListOnSite)
    (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
        (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 266-286
(=>
    (instance ?POINT TimePoint)
    (exists (?INTERVAL)
        (and
            (instance ?INTERVAL TimeInterval)
            (temporalPart ?POINT ?INTERVAL))))		 Merge.kif 7962-7967
(=>
    (meetsTemporally ?T1 ?T2)
    (not
        (exists (?T3)
            (and
                (instance ?T3 TimeInterval)
                (temporalPart ?T3 ?T1)
                (temporalPart ?T3 ?T2)))))		 Merge.kif 8367-8374
(=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimeInterval)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))		 Merge.kif 8256-8262

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 1970-1978 IntervalloTemporale IntervalloTemporale è un' istanza di IntervalloTemporale IntervalloTemporale finiscees il tempo di esistenza di JesusOfNazareth IntervalloTemporale inizias il tempo di esistenza di TwelveApostles Entit�


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