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 8252-8254
(documentation overlapsTemporally JapaneseLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeIntervals ?INTERVAL1 と ?INTERVAL2 が共通の部分として TimeInterval を持っていることを意味する。") japanese_format.kif 1441-1443
(domain overlapsTemporally 1 TimeInterval) Merge.kif 8249-8249 在时间上重叠 的 1 数量 是 时距instance
(domain overlapsTemporally 2 TimeInterval) Merge.kif 8250-8250 在时间上重叠 的 2 数量 是 时距instance
(instance overlapsTemporally BinaryPredicate) Merge.kif 8245-8245 在时间上重叠二元谓语instance
(instance overlapsTemporally ReflexiveRelation) Merge.kif 8247-8247 在时间上重叠自反关系instance
(instance overlapsTemporally SymmetricRelation) Merge.kif 8248-8248 在时间上重叠对称关系instance
(instance overlapsTemporally TemporalRelation) Merge.kif 8246-8246 在时间上重叠时间关系instance

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 437-437
(format FrenchLanguage overlapsTemporally "%2 %n{ne} recouvre %n{pas} %1") french_format.kif 250-250
(format ItalianLanguage overlapsTemporally "%2 %n{non} sovrappone%p{s} %1") relations-it.txt 208-208
(format JapaneseLanguage overlapsTemporally "%2 は %1 と overlap%p{s} %n{dない}") japanese_format.kif 2044-2044
(format PortugueseLanguage overlapsTemporally "%2 %n{nao} engloba %n %1") portuguese_format.kif 202-202
(format cz overlapsTemporally "%2 %n{doesn't} overlap%p{s} %1") relations-cz.txt 256-256
(format de overlapsTemporally "%2 deckt sich mit %1 %n{nicht}") relations-de.txt 562-562
(format hi overlapsTemporally "%2 %1 se ativyaapta %n{nahiin} hai") relations-hindi.txt 246-246
(format ro overlapsTemporally "%2 %n{nu} overlap%t{se suprapune} peste %1") relations-ro.kif 271-271
(format sv overlapsTemporally "%2 överlappar %n{inte} %1") relations-sv.txt 274-274
(format tg overlapsTemporally "%2 %n ay natataklob sa %1") relations-tg.txt 398-398
(termFormat ChineseLanguage overlapsTemporally "在时间上重叠") chinese_format.kif 432-432
(termFormat ChineseLanguage overlapsTemporally "暂时重叠") domainEnglishFormat.kif 43788-43788
(termFormat ChineseTraditionalLanguage overlapsTemporally "暫時重疊") domainEnglishFormat.kif 43787-43787
(termFormat EnglishLanguage overlapsTemporally "overlap temporally") domainEnglishFormat.kif 43786-43786
(termFormat tg overlapsTemporally "natataklob ng panahon") relations-tg.txt 399-399

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


(=>
    (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 4958-4976
(=>
    (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 5027-5037
(=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimeInterval)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))
Merge.kif 8256-8262
(=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimePosition)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))
Merge.kif 8312-8318

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


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F ?YEAR)
        (and
            (overlapsTemporally
                (WhenFn ?F) ?YEAR)
            (instance ?YEAR
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 968-975 整数 机构year 资金 若且唯若 有存在 过程那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 yearinstance那个 过程创建instance那个 机构那个 过程result
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?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 6230-6243
(=>
    (and
        (attribute ?Order GTCOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Execute ?Time)
            (and
                (instance ?Execute FillingAnOrder)
                (patient ?Execute ?Order)
                (equal
                    (WhenFn ?Execute) ?Time)
                (overlapsTemporally ?Time ?Period)))
        (exists (?Cancel ?End)
            (and
                (instance ?Cancel CancellingAnOrder)
                (patient ?Cancel ?Order)
                (equal
                    (WhenFn ?Cancel) ?End)
                (finishes ?End ?Period)))))
FinancialOntology.kif 2917-2933
(=>
    (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 2008-2029
(=>
    (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 2031-2052
(=>
    (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 13863-13876
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))
Merge.kif 18225-18231
(=>
    (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 22347-22355
(=>
    (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 450-463
(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 10311-10319
(=>
    (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 2467-2478
(=>
    (and
        (instance ?INTERVAL3 TimeInterval)
        (temporalPart ?INTERVAL3 ?INTERVAL1)
        (temporalPart ?INTERVAL3 ?INTERVAL2))
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2))
Merge.kif 8264-8269
(=>
    (and
        (instance ?INTERVAL3 TimePosition)
        (temporalPart ?INTERVAL3 ?INTERVAL1)
        (temporalPart ?INTERVAL3 ?INTERVAL2))
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2))
Merge.kif 8320-8325
(=>
    (and
        (instance ?MR MusclesRelaxing)
        (experiencer ?MR ?A))
    (not
        (exists (?MT)
            (and
                (overlapsTemporally ?MT ?MR)
                (instance ?MT MusclesBecomingTense)
                (experiencer ?MT ?A)))))
emotion.kif 1464-1473
(=>
    (and
        (instance ?MT MusclesBecomingTense)
        (experiencer ?MT ?A))
    (not
        (exists (?MR)
            (and
                (overlapsTemporally ?MR ?MT)
                (instance ?MR MusclesRelaxing)
                (experiencer ?MR ?A)))))
emotion.kif 1450-1459
(=>
    (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 ?P2 Pain)
                    (located ?P2 ?H))))))
Mid-level-ontology.kif 5778-5797
(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (instance ?OBJ1 Physical)
        (instance ?OBJ2 Physical)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))
Merge.kif 8271-8278
(=>
    (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 13885-13900
(=>
    (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 13902-13915
(=>
    (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 ?W WorkLeave)
        (instance ?WORK Working)
        (agent ?W ?PERSON)
        (agent ?WORK ?PERSON)
        (instance ?PERSON Human))
    (not
        (overlapsTemporally
            (WhenFn ?W)
            (WhenFn ?WORK))))
Mid-level-ontology.kif 20425-20435
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Process))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA)
            (overlapsTemporally
                (WhenFn ?ITEM)
                (WhenFn ?AREA)))))
Geography.kif 2280-2290
(=>
    (attribute ?H ArtCritic)
    (hasPurpose ?H
        (exists (?AW ?T ?CLASS)
            (and
                (instance ?AW ArtWork)
                (overlapsTemporally
                    (WhenFn ?AW)
                    (WhenFn ?H))
                (instance ?T ?CLASS)
                (subclass ?CLASS Article)
                (authors ?H ?CLASS)
                (refers ?T ?AW)))))
Mid-level-ontology.kif 21088-21100
(=>
    (attribute ?H NewsReporter)
    (hasPurpose ?H
        (exists (?EV ?T ?NEWS)
            (and
                (instance ?EV Process)
                (overlapsTemporally
                    (WhenFn ?EV)
                    (WhenFn ?H))
                (instance ?T ?NEWS)
                (or
                    (subclass ?NEWS Newspaper)
                    (subclass ?NEWS NewsProgram))
                (authors ?H ?NEWS)
                (refers ?T ?EV)))))
Mid-level-ontology.kif 21065-21079
(=>
    (dateDissolved ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (EndFn
                    (WhenFn ?THING))))))
Government.kif 2558-2563

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25