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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsTemporally
overlapsTemporally

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


(documentation overlapsTemporally ChineseLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 和 ?INTERVAL2 有 TimeInterval 作为它们的 一个共同部分。") chinese_format.kif 2717-2719
(documentation overlapsTemporally EnglishLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part.") Merge.kif 7914-7916
(domain overlapsTemporally 1 TimeInterval) Merge.kif 7911-7911
(domain overlapsTemporally 2 TimeInterval) Merge.kif 7912-7912
(instance overlapsTemporally BinaryPredicate) Merge.kif 7907-7907
(instance overlapsTemporally ReflexiveRelation) Merge.kif 7909-7909
(instance overlapsTemporally SymmetricRelation) Merge.kif 7910-7910
(instance overlapsTemporally TemporalRelation) Merge.kif 7908-7908

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


(format ChineseLanguage overlapsTemporally "%2 时段 %n{doesn't} 和 %1 重叠") chinese_format.kif 431-431
(format EnglishLanguage overlapsTemporally "%2 %n{doesn't} overlap%p{s} %1") english_format.kif 440-440
(termFormat ChineseLanguage overlapsTemporally "在时间上重叠") chinese_format.kif 432-432
(termFormat ChineseLanguage overlapsTemporally "暂时重叠") domainEnglishFormat.kif 43765-43765
(termFormat ChineseTraditionalLanguage overlapsTemporally "暫時重疊") domainEnglishFormat.kif 43764-43764
(termFormat EnglishLanguage overlapsTemporally "overlaps temporally") domainEnglishFormat.kif 43763-43763

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


(<=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimeInterval)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))
Merge.kif 7918-7924
(=>
    (and
        (instance ?LOW LowTide)
        (instance ?HIGH HighTide)
        (eventLocated ?LOW ?PLACE)
        (eventLocated ?HIGH ?PLACE)
        (instance ?DAY Day)
        (overlapsTemporally ?LOW ?DAY)
        (overlapsTemporally ?HIGH ?DAY))
    (exists (?AMOUNT1 ?AMOUNT2 ?U)
        (and
            (instance ?U UnitOfLength)
            (holdsDuring ?LOW
                (waterDepth ?PLACE
                    (MeasureFn ?AMOUNT1 ?U)))
            (holdsDuring ?HIGH
                (waterDepth ?PLACE
                    (MeasureFn ?AMOUNT2 ?U)))
            (greaterThan ?AMOUNT2 ?AMOUNT1))))
Geography.kif 4744-4760
(=>
    (and
        (lowTide ?PLACE ?TIME1
            (MeasureFn ?AMOUNT1 ?U))
        (highTide ?PLACE ?TIME2
            (MeasureFn ?AMOUNT2 ?U))
        (instance ?U UnitOfLength)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4811-4821

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


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F)
        (and
            (overlapsTemporally ?F
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 909-915
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?S ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))
Mid-level-ontology.kif 5859-5872
(=>
    (and
        (attribute ?Order GTCOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Execute)
            (and
                (instance ?Execute FillingAnOrder)
                (patient ?Execute ?Order)
                (equal
                    (WhenFn ?Execute) ?Time)
                (overlapsTemporally ?Time ?Period)))
        (exists (?Cancel)
            (and
                (instance ?Cancel CancellingAnOrder)
                (patient ?Cancel ?Order)
                (equal
                    (WhenFn ?Cancel) ?End)
                (finishes ?End ?Period)))))
FinancialOntology.kif 2878-2894
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 1979-2000
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (bidPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (instance ?U UnitOfCurrency)
        (greaterThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2002-2023
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))
Merge.kif 13177-13190
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))
Merge.kif 17385-17391
(=>
    (and
        (instance ?C Convoy)
        (member ?VEH ?C))
    (exists (?DRIVE)
        (and
            (instance ?DRIVE Driving)
            (overlapsTemporally
                (WhenFn ?DRIVE)
                (WhenFn ?C))
            (patient ?DRIVE ?VEH))))
Mid-level-ontology.kif 21122-21130
(=>
    (and
        (instance ?D Dodging)
        (agent ?D ?A)
        (equal ?DT
            (WhenFn ?D)))
    (hasPurpose ?D
        (not
            (exists (?I)
                (and
                    (or
                        (meetsTemporally ?DT
                            (WhenFn ?I))
                        (overlapsTemporally ?DT
                            (WhenFn ?I)))
                    (instance ?I Impacting)
                    (patient ?I ?A))))))
Mid-level-ontology.kif 421-434
(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 9857-9865
(=>
    (and
        (instance ?DRYSPELL Drought)
        (eventLocated ?DRYSPELL ?AREA))
    (not
        (exists (?RAIN ?PLACE)
            (and
                (instance ?RAIN Raining)
                (instance ?PLACE Region)
                (eventLocated ?RAIN ?PLACE)
                (overlapsSpatially ?PLACE ?AREA)
                (overlapsTemporally ?RAIN ?DRYSPELL)))))
Weather.kif 2464-2475
(=>
    (and
        (instance ?MR MusclesRelaxing)
        (experiencer ?MR ?A))
    (not
        (exists (?MT)
            (and
                (overlapsTemporally ?MT ?MR)
                (instance ?MT MusclesBecomingTense)
                (experiencer ?MT ?A)))))
emotion.kif 1472-1481
(=>
    (and
        (instance ?MT MusclesBecomingTense)
        (experiencer ?MT ?A))
    (not
        (exists (?MR)
            (and
                (overlapsTemporally ?MR ?MT)
                (instance ?MR MusclesRelaxing)
                (experiencer ?MR ?A)))))
emotion.kif 1458-1467
(=>
    (and
        (instance ?R RelievingPain)
        (patient ?R ?H))
    (and
        (exists (?P1)
            (and
                (overlapsTemporally
                    (WhenFn ?P1)
                    (ImmediatePastFn
                        (WhenFn ?R)))
                (instance ?P1 Pain)
                (located ?P1 ?H)))
        (not
            (exists (?P2)
                (and
                    (overlapsTemporally
                        (WhenFn ?P2)
                        (ImmediateFutureFn
                            (WhenFn ?R)))
                    (instance ?P Pain)
                    (located ?P ?H))))))
Mid-level-ontology.kif 5422-5441
(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))
Merge.kif 7926-7931
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP2 ?MEASURE))
        (instance ?MEASURE UnitOfTemperature)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP3 ?MEASURE)))
        (greaterThan ?TEMP3 ?TEMP2)
        (lessThan ?TEMP3 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Liquid))
        (exists (?MELT)
            (and
                (overlapsTemporally
                    (WhenFn ?MELT) ?TIME)
                (instance ?MELT Melting)
                (patient ?MELT ?SUBSTANCE)))))
Merge.kif 13199-13214
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (lessThan ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Solid))
        (exists (?FREEZE)
            (and
                (overlapsTemporally
                    (WhenFn ?FREEZE) ?TIME)
                (instance ?FREEZE Freezing)
                (patient ?FREEZE ?SUBSTANCE)))))
Merge.kif 13216-13229
(=>
    (and
        (instance ?W WorkLeave)
        (instance ?WORK Working)
        (agent ?W ?PERSON)
        (agent ?WORK ?PERSON)
        (instance ?PERSON Human))
    (not
        (overlapsTemporally
            (WhenFn ?W)
            (WhenFn ?WORK))))
Mid-level-ontology.kif 19081-19091
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Process))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA)
            (overlapsTemporally
                (WhenFn ?ITEM)
                (WhenFn ?AREA)))))
Geography.kif 2248-2256
(=>
    (attribute ?H NewsReporter)
    (exists (?T ?EV)
        (and
            (instance ?EV Process)
            (overlapsTemporally
                (WhenFn ?EV)
                (WhenFn ?H))
            (authors ?H ?T)
            (refers ?T ?EV))))
Mid-level-ontology.kif 19712-19721
(=>
    (dateDissolved ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (EndFn
                    (WhenFn ?THING))))))
Government.kif 2539-2544
(=>
    (dateEstablished ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (BeginFn
                    (WhenFn ?THING))))))
Mid-level-ontology.kif 925-930
(=>
    (dateUsed ?OBJECT ?DATE ?AGENT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (patient ?PROCESS ?OBJECT)
            (agent ?PROCESS ?AGENT)
            (uses ?OBJECT ?AGENT)
            (overlapsTemporally ?DATE
                (WhenFn ?PROCESS)))))
Mid-level-ontology.kif 938-946
(=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME ?EXPORT)
        (and
            (instance ?TIME ?PERIOD)
            (instance ?EXPORT Exporting)
            (overlapsTemporally ?TIME
                (WhenFn ?EXPORT))
            (origin ?EXPORT ?AGENT1)
            (destination ?EXPORT ?AGENT2))))
Economy.kif 2363-2371
(=>
    (holdsDuring ?T
        (attribute ?H Fasting))
    (not
        (exists (?P)
            (and
                (instance ?P Eating)
                (agent ?P ?H)
                (overlapsTemporally ?T
                    (WhenFn ?P))))))
Mid-level-ontology.kif 29347-29354

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25