TimeInterval - Sigma Knowledge base Browser

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 1994-1997
(subclass TimeInterval TimePosition)	Merge.kif 1992-1992

appearance as argument number 2

(instance BeforeCommonEra TimeInterval)	Mid-level-ontology.kif 7566-7566
(instance CommonEra TimeInterval)	Mid-level-ontology.kif 7574-7574
(partition TimePosition TimeInterval TimePoint)	Merge.kif 1987-1987
(range FiscalYearStartingFn TimeInterval)	Economy.kif 3727-3727
(range FutureFn TimeInterval)	Merge.kif 7971-7971
(range ImmediateFutureFn TimeInterval)	Merge.kif 7988-7988
(range ImmediatePastFn TimeInterval)	Merge.kif 7957-7957
(range PastFn TimeInterval)	Merge.kif 7939-7939
(range SiteSpeedFn TimeInterval)	UXExperimentalTerms.kif 3951-3951
(range TTFxFn TimeInterval)	UXExperimentalTerms.kif 1698-1698
(range TimeIntervalFn TimeInterval)	Merge.kif 7872-7872
(range TimePeriodFn TimeInterval)	Mid-level-ontology.kif 11672-11672
(range WhenFn TimeInterval)	Merge.kif 7928-7928
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 3701-3701
(rangeSubclass RecurrentTimeIntervalFn TimeInterval)	Merge.kif 7905-7905
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 8817-8817
(subclass AnteMeridiem TimeInterval)	Mid-level-ontology.kif 16902-16902
(subclass BreakfastTime TimeInterval)	Food.kif 195-195
(subclass Day TimeInterval)	Merge.kif 8672-8672
(subclass DayTime TimeInterval)	Merge.kif 8308-8308
(subclass Decade TimeInterval)	Merge.kif 8224-8224
(subclass DhuAlHijjah TimeInterval)	ArabicCulture.kif 103-103
(subclass DinnerTime TimeInterval)	Food.kif 224-224
(subclass Holiday TimeInterval)	Mid-level-ontology.kif 12577-12577
(subclass Hour TimeInterval)	Merge.kif 8782-8782

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 7568-7568
(domain EndFn 1 TimeInterval)	Merge.kif 7596-7596
(domain GPIFn 2 TimeInterval)	UXExperimentalTerms.kif 3362-3362
(domain MusicalInterpretationFn 3 TimeInterval)	Music.kif 843-843
(domain PPIFn 2 TimeInterval)	UXExperimentalTerms.kif 3288-3288
(domain SCRFn 2 TimeInterval)	UXExperimentalTerms.kif 3863-3863
(domain SiteWideNewBuyersFn 1 TimeInterval)	UXExperimentalTerms.kif 3567-3567
(domain SiteWideNewRegistrationsFn 1 TimeInterval)	UXExperimentalTerms.kif 3619-3619
(domain SiteWideNewSellersFn 1 TimeInterval)	UXExperimentalTerms.kif 3666-3666
(domain TemporalCompositionFn 1 TimeInterval)	Merge.kif 8815-8815
(domain agreementPeriod 2 TimeInterval)	Mid-level-ontology.kif 11645-11645
(domain anniversary 2 TimeInterval)	Mid-level-ontology.kif 21980-21980
(domain burnInPeriod 2 TimeInterval)	UXExperimentalTerms.kif 4504-4504
(domain compoundInterest 3 TimeInterval)	FinancialOntology.kif 525-525
(domain constructionPeriod 2 TimeInterval)	Mid-level-ontology.kif 18483-18483
(domain creditsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3714-3714
(domain daylightHoursInterval 3 TimeInterval)	Weather.kif 463-463
(domain duration 1 TimeInterval)	Merge.kif 7495-7495
(domain during 1 TimeInterval)	Merge.kif 7793-7793
(domain during 2 TimeInterval)	Merge.kif 7794-7794
(domain earlier 1 TimeInterval)	Merge.kif 7838-7838
(domain earlier 2 TimeInterval)	Merge.kif 7839-7839
(domain employeeContribution 3 TimeInterval)	FinancialOntology.kif 3248-3248
(domain finishes 1 TimeInterval)	Merge.kif 7645-7645
(domain finishes 2 TimeInterval)	Merge.kif 7646-7646

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 7637-7647
(=> (and (holdsDuring ?T2 ?SIT2) (holdsDuring ?T1 ?SIT1) (instance ?T1 TimeInterval) (instance ?T2 TimeInterval) (causesProposition ?SIT1 ?SIT2)) (beforeOrEqual (BeginFn ?T1) (BeginFn ?T2)))	Merge.kif 3695-3702
(=> (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 3961-3986
(=> (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 3297-3316
(=> (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 3258-3275
(=> (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 21462-21475
(=> (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 3579-3611
(=> (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 3631-3658
(=> (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 3678-3710
(=> (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 7879-7887
(=> (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 7889-7898
(=> (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 1700-1722
(=> (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 2591-2607
(=> (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 2545-2561
(=> (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 2609-2625
(=> (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 2563-2581

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 7771-7777
(=> (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 1520-1536
(=> (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 21462-21475
(=> (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 3579-3611
(=> (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 3631-3658
(=> (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 3678-3710
(=> (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 8699-8720
(=> (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 15869-15903
(=> (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 1809-1825
(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE)))))	UXExperimentalTerms.kif 3832-3841
(=> (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 3843-3853
(=> (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 2729-2741
(=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE ?TIME)) (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 ?DURATION) (lessThanOrEqualTo ?DURATION ?TIME)) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE))))))	Catalog.kif 450-472
(=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ)))))	Merge.kif 13341-13347
(=> (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 20206-20218
(=> (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 14909-14931
(=> (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 336-356
(=> (instance ?POINT TimePoint) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (temporalPart ?POINT ?INTERVAL))))	Merge.kif 7532-7537

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

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

KB Term:			Term intersection

English Word: