TreeView Knowledge Base Browser - 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 8266-8268
(documentation overlapsTemporally JapaneseLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeIntervals ?INTERVAL1 と ?INTERVAL2 が共通の部分として TimeInterval を持っていることを意味する。")	japanese_format.kif 1441-1443
(domain overlapsTemporally 1 TimeInterval)	Merge.kif 8263-8263	Die Zahl 1 Argument von overlapsTemporally ist ein fall von TimeInterval %n{nicht}
(domain overlapsTemporally 2 TimeInterval)	Merge.kif 8264-8264	Die Zahl 2 Argument von overlapsTemporally ist ein fall von TimeInterval %n{nicht}
(instance overlapsTemporally BinaryPredicate)	Merge.kif 8259-8259	overlapsTemporally ist ein fall von BinaryPredicate %n{nicht}
(instance overlapsTemporally ReflexiveRelation)	Merge.kif 8261-8261	overlapsTemporally ist ein fall von ReflexiveRelation %n{nicht}
(instance overlapsTemporally SymmetricRelation)	Merge.kif 8262-8262	overlapsTemporally ist ein fall von SymmetricRelation %n{nicht}
(instance overlapsTemporally TemporalRelation)	Merge.kif 8260-8260	overlapsTemporally ist ein fall von TemporalRelation %n{nicht}

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 43826-43826
(termFormat ChineseTraditionalLanguage overlapsTemporally "暫時重疊")	domainEnglishFormat.kif 43825-43825
(termFormat EnglishLanguage overlapsTemporally "overlap temporally")	domainEnglishFormat.kif 43824-43824
(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	Wenn TimeInterval ist ein fall von LowTide %n{nicht} und TimeInterval ist ein fall von HighTide %n{nicht} und eventLocated TimeInterval and Object und eventLocated TimeInterval and Object und TimeInterval ist ein fall von Day %n{nicht} und TimeInterval deckt sich mit TimeInterval %n{nicht} und TimeInterval deckt sich mit TimeInterval %n{nicht}, dann es gibt RealNumber, RealNumber, and und Entity um Entity ist ein fall von UnitOfLength %n{nicht} und waterDepth Object and RealNumber Entity(s) haelt waehrend TimeInterval %n{nicht} und waterDepth Object and RealNumber Entity(s) haelt waehrend TimeInterval %n{nicht} und RealNumber ist groesserAls RealNumber %n{nicht}
(=> (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	Wenn lowTide Region, TimeInterval and RealNumber UnitOfMeasure(s) und highTide Region, TimeInterval and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und TimeInterval ist ein fall von Day %n{nicht} und TimeInterval deckt sich mit TimeInterval %n{nicht} und TimeInterval deckt sich mit TimeInterval %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8270-8276	Wenn TimeInterval deckt sich mit TimeInterval %n{nicht}, dann es gibt TimePosition um TimePosition ist ein fall von TimeInterval %n{nicht} und TimePosition ist ein teil von TimeInterval %n{nicht} und TimePosition ist ein teil von ** TimeInterval %n{nicht}
(=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimePosition) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8326-8332	Wenn TimeInterval deckt sich mit TimeInterval %n{nicht}, dann es gibt TimePosition um TimePosition ist ein fall von TimePosition %n{nicht} und TimePosition ist ein teil von TimeInterval %n{nicht} und TimePosition ist ein teil von ** TimeInterval %n{nicht}

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 961-968	yearOfFounding Organization and Integer genau dann wenn es gibt Process und IntegerEAR um IntegerEAR deckt sich mit die zeit des Bestehens von Process %n{nicht} und IntegerEAR ist ein fall von das jahr Integer %n{nicht} und Process ist ein fall von Founding %n{nicht} und Organization ist ein resultat von Process %n{nicht}
(=> (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 6225-6238	Wenn allergic Human and Substance und SubstanceUB ist ein fall von Substance %n{nicht} und SubstanceUB schliesst Human raeumlich an haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von AllergicReaction %n{nicht} und Human erfaehrt entity %n{nicht} und die zeit des Bestehens von entity deckt sich mit TimePosition %n{nicht} und der anfang von TimePosition geschieht vor der anfang von die zeit des Bestehens von ** entity %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn GTCOrder ist ein attribut von Agreement %n{nicht} und agreementPeriod Agreement and TimeInterval, dann es gibt Process und TimeInterval um Process ist ein fall von FillingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval deckt sich mit TimeInterval %n{nicht} oder es gibt Process und TimeInterval um Process ist ein fall von CancellingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval beendet ** TimeInterval %n{nicht}
(=> (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	Wenn LimitOrder ist ein attribut von FinancialTransaction %n{nicht} und partyToAgreement FinancialTransaction and Agreement und Broker ist ein attribut von Agreement %n{nicht} und orderFor FinancialTransaction, Buying and Security und das mass von Security ist PhysicalQuantity %n{nicht} und limitPrice FinancialTransaction and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und askPrice Security, RealNumber UnitOfMeasure(s) and AutonomousAgent und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht}, dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (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	Wenn LimitOrder ist ein attribut von FinancialTransaction %n{nicht} und partyToAgreement FinancialTransaction and Agreement und Broker ist ein attribut von Agreement %n{nicht} und orderFor FinancialTransaction, Selling and Security und das mass von Security ist PhysicalQuantity %n{nicht} und limitPrice FinancialTransaction and RealNumber UnitOfMeasure(s) und bidPrice Security, RealNumber UnitOfMeasure(s) and AutonomousAgent und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und RealNumber ist groesserAlsOderGleich RealNumber %n{nicht}, dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (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 13887-13900	Wenn boilingPoint PureSubstance and RealNumber UnitOfMeasure(s) und Entity ist ein fall von PureSubstance %n{nicht} und das mass von Entity ist RealNumber UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und RealNumber ist groesserAlsOderGleich RealNumber %n{nicht}, dann Gas ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} oder es gibt Process um TimeInterval deckt sich mit die zeit des Bestehens von Process %n{nicht} und Process ist ein fall von Boiling %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18282-18288	Wenn Embryonic ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Birth %n{nicht} und TimeInterval ist gleich die zeit des Bestehens von Process %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann TimeInterval deckt sich mit ** TimeInterval nicht
(=> (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 22631-22639	Wenn Collection ist ein fall von Convoy %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann es gibt Process um Process ist ein fall von Driving %n{nicht} und die zeit des Bestehens von Collection deckt sich mit die zeit des Bestehens von Process %n{nicht} und Physical ist ein patient von Process %n{nicht}
(=> (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 443-456	Wenn Process ist ein fall von Dodging %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und ProcessT ist gleich die zeit des Bestehens von Process %n{nicht}, dann Process hat Zweck von es gibt nicht entity um ProcessT schliesst die zeit des Bestehens von entity zeitlich an oder die zeit des Bestehens von entity deckt sich mit ProcessT %n{nicht} und entity ist ein fall von Impacting %n{nicht} und AutonomousAgent ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST)))))	Merge.kif 10325-10333	Wenn Process ist ein fall von Digesting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Process um Process ist ein fall von Ingesting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process deckt sich mit die zeit des Bestehens von Process %n{nicht}
(=> (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 2454-2465	Wenn TimeInterval ist ein fall von Drought %n{nicht} und eventLocated TimeInterval and Object, dann es gibt nicht TimeInterval und Object um TimeInterval ist ein fall von Raining %n{nicht} und Object ist ein fall von Region %n{nicht} und eventLocated TimeInterval and Object und Object deckt sich mit Object raeumlich %n{nicht} und TimeInterval deckt sich mit ** TimeInterval %n{nicht}
(=> (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2))	Merge.kif 8278-8283	Wenn TimePosition ist ein fall von TimeInterval %n{nicht} und TimePosition ist ein teil von TimeInterval %n{nicht} und TimePosition ist ein teil von TimeInterval %n{nicht}, dann TimeInterval deckt sich mit TimeInterval %n{nicht}
(=> (and (instance ?INTERVAL3 TimePosition) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2))	Merge.kif 8334-8339	Wenn TimePosition ist ein fall von TimePosition %n{nicht} und TimePosition ist ein teil von TimeInterval %n{nicht} und TimePosition ist ein teil von TimeInterval %n{nicht}, dann TimeInterval deckt sich mit TimeInterval %n{nicht}
(=> (and (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)) (not (exists (?MT) (and (overlapsTemporally ?MT ?MR) (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)))))	emotion.kif 1464-1473	Wenn TimeInterval ist ein fall von MusclesRelaxing %n{nicht} und AutonomousAgent erfaehrt TimeInterval %n{nicht}, dann es gibt nicht TimeInterval um TimeInterval deckt sich mit TimeInterval %n{nicht} und TimeInterval ist ein fall von MusclesBecomingTense %n{nicht} und AutonomousAgent erfaehrt TimeInterval %n{nicht}
(=> (and (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)) (not (exists (?MR) (and (overlapsTemporally ?MR ?MT) (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)))))	emotion.kif 1450-1459	Wenn TimeInterval ist ein fall von MusclesBecomingTense %n{nicht} und AutonomousAgent erfaehrt TimeInterval %n{nicht}, dann es gibt nicht TimeInterval um TimeInterval deckt sich mit TimeInterval %n{nicht} und TimeInterval ist ein fall von MusclesRelaxing %n{nicht} und AutonomousAgent erfaehrt TimeInterval %n{nicht}
(=> (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 5773-5792	Wenn Process ist ein fall von RelievingPain %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Physical um direkt vor die zeit des Bestehens von Process deckt sich mit die zeit des Bestehens von Physical %n{nicht} und Physical ist ein fall von Pain %n{nicht} und Physical befindet sich an %n{nicht} und es gibt nicht Physical um sofort nach die zeit des Bestehens von Process deckt sich mit die zeit des Bestehens von Physical %n{nicht} und Physical ist ein fall von Pain %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (instance ?OBJ1 Physical) (instance ?OBJ2 Physical) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Merge.kif 8285-8292	Wenn Entity ist ein fall von BinaryPredicate %n{nicht} und Entity ist ein fall von SpatialRelation %n{nicht} und Physical ist ein fall von Physical %n{nicht} und Physical ist ein fall von Physical %n{nicht} und Entity Physical and Physical, dann die zeit des Bestehens von Physical deckt sich mit die zeit des Bestehens von ** Physical %n{nicht}
(=> (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 13909-13924	Wenn Entity ist ein fall von PureSubstance %n{nicht} und boilingPoint PureSubstance and RealNumber UnitOfMeasure(s) und meltingPoint PureSubstance and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und das mass von Entity ist RealNumber UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und RealNumber ist groesserAls RealNumber %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann Liquid ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} oder es gibt Process um TimeInterval deckt sich mit die zeit des Bestehens von Process %n{nicht} und Process ist ein fall von Melting %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (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 13926-13939	Wenn Entity ist ein fall von PureSubstance %n{nicht} und meltingPoint PureSubstance and RealNumber UnitOfMeasure(s) und das mass von Entity ist RealNumber UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann Solid ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} oder es gibt Process um TimeInterval deckt sich mit die zeit des Bestehens von Process %n{nicht} und Process ist ein fall von Freezing %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1))	Merge.kif 8305-8315	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und der anfang von TimeInterval geschieht vor oder gleichzeitig mit der anfang von TimeInterval %n{nicht} und der anfang von TimeInterval geschieht vor das ende von TimeInterval %n{nicht}, dann TimeInterval deckt sich mit TimeInterval %n{nicht}
(=> (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 20684-20694	Wenn Process ist ein fall von WorkLeave %n{nicht} und ProcessORK ist ein fall von Working %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und ProcessORK ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht}, dann die zeit des Bestehens von ProcessORK deckt sich mit die zeit des Bestehens von ** Process nicht
(=> (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	Wenn naturalHazardTypeInArea GeographicArea and Physical und Physical ist eine teilkategorie von Process, dann es gibt Physical um Physical ist ein fall von Physical %n{nicht} und Physical befindet sich an %n{nicht} und die zeit des Bestehens von GeographicArea deckt sich mit die zeit des Bestehens von Physical %n{nicht}
(=> (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 21347-21359	Wenn ArtCritic ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von ArtWork %n{nicht} und die zeit des Bestehens von Object deckt sich mit die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von Article und Object ist der schreiber von entity und entity umfasst einen hinweis auf entity %n{nicht}
(=> (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 21324-21338	Wenn NewsReporter ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und die zeit des Bestehens von Object deckt sich mit die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von Newspaper oder entity ist eine teilkategorie von NewsProgram und Object ist der schreiber von entity und entity umfasst einen hinweis auf entity %n{nicht}
(=> (dateDissolved ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (EndFn (WhenFn ?THING))))))	Government.kif 2522-2527	Wenn dateDissolved Physical and TimePosition, dann es gibt TimeInterval um TimeInterval ist ein fall von TimePosition %n{nicht} und das ende von die zeit des Bestehens von Physical deckt sich mit ** TimeInterval %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(not
(overlapsTemporally CommonEra BeforeCommonEra))

Mid-level-ontology.kif 8109-8109

BeforeCommonEra deckt sich mit CommonEra nicht

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

KB Term:			Term intersection

English Word: