TreeView Knowledge Base Browser - temporallyBetween

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

temporallyBetween

Sigma KEE - temporallyBetween

temporallyBetween

appearance as argument number 1

(documentation temporallyBetween ChineseLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POINT3 之间，即是 ?POINT1 在?POINT2 之前，而 ?POINT2 在 ?POINT3 之前。")	chinese_format.kif 2711-2713
(documentation temporallyBetween EnglishLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is between the TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3.")	Merge.kif 8263-8266
(documentation temporallyBetween JapaneseLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT2 が TimePoint ?POINT1 と ?POINT3の間にあることを意味する。")	japanese_format.kif 1435-1437
(domain temporallyBetween 1 TimePoint)	Merge.kif 8259-8259	The number 1 argument of temporally between is an instance of time point
(domain temporallyBetween 2 TimePoint)	Merge.kif 8260-8260	The number 2 argument of temporally between is an instance of time point
(domain temporallyBetween 3 TimePoint)	Merge.kif 8261-8261	The number 3 argument of temporally between is an instance of time point
(instance temporallyBetween PartialValuedRelation)	Merge.kif 8257-8257	temporally between is an instance of partial valued relation
(instance temporallyBetween TemporalRelation)	Merge.kif 8255-8255	temporally between is an instance of temporal relation
(instance temporallyBetween TernaryPredicate)	Merge.kif 8256-8256	temporally between is an instance of ternary predicate
(subrelation temporallyBetween temporallyBetweenOrEqual)	Merge.kif 8258-8258	temporally between is a subrelation of temporally between or equal

appearance as argument number 2

(format ChineseLanguage temporallyBetween "时间%2 %n 是在时间 %1 和时间 %3 between")	chinese_format.kif 427-427
(format EnglishLanguage temporallyBetween "%2 is %n between %1 and %3")	english_format.kif 433-433
(format FrenchLanguage temporallyBetween "%2 est %n entre %1 et %3")	french_format.kif 248-248
(format ItalianLanguage temporallyBetween "%2 is %n tra %1 e %3")	relations-it.txt 294-294
(format JapaneseLanguage temporallyBetween "%2 は %1 と %3 の between に　%n")	japanese_format.kif 2042-2042
(format PortugueseLanguage temporallyBetween "%2 e' %n entre %1 e %3")	portuguese_format.kif 200-200
(format cz temporallyBetween "%2 %p{je} %n{nen�} between %1 and %3")	relations-cz.txt 253-253
(format de temporallyBetween "%2 ist zwischen %1 und %3")	relations-de.txt 556-556
(format hi temporallyBetween "%2 %1 aura %3 ke biicha men %n hai")	relations-hindi.txt 330-330
(format ro temporallyBetween "%2 %n{nu} este between%t{între} %1 ºi %3")	relations-ro.kif 269-269
(format sv temporallyBetween "%2 ligger %n{inte} mellan %1 och %3")	relations-sv.txt 271-271
(format tg temporallyBetween "%2 %n ay sa pagitan ng %1 at %3")	relations-tg.txt 486-486
(termFormat ChineseLanguage temporallyBetween "一时之间")	domainEnglishFormat.kif 57446-57446
(termFormat ChineseLanguage temporallyBetween "在两个时间之间")	chinese_format.kif 428-428
(termFormat ChineseTraditionalLanguage temporallyBetween "一時之間")	domainEnglishFormat.kif 57445-57445
(termFormat EnglishLanguage temporallyBetween "temporally between")	domainEnglishFormat.kif 57444-57444
(termFormat de temporallyBetween "zeitlichZwischen")	terms-de.txt 171-171

antecedent

(=>
    (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
    (and
        (before ?POINT1 ?POINT2)
        (before ?POINT2 ?POINT3)))

Merge.kif 8268-8272

If a time point is between another time point and a third time point,
then the other time point happens before the time point and the time point happens before the third time point

consequent

(=> (and (before ?POINT1 ?POINT2) (before ?POINT2 ?POINT3)) (temporallyBetween ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8274-8278	If a time point happens before another time point and the other time point happens before a third time point, then the other time point is between the time point and the third time point
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))	Merge.kif 7963-7968	If a time point is an instance of time point and the time point is not equal to negative infinity, then there exists another time point such that the other time point is between negative infinity and the time point
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (exists (?OTHERPOINT) (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))	Merge.kif 7945-7950	If a time point is an instance of time point and the time point is not equal to positive infinity, then there exists another time point such that the other time point is between the time point and positive infinity
(=> (finishesDuring ?INTERVAL1 ?INTERVAL2) (temporallyBetween (BeginFn ?INTERVAL2) (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)))	Merge.kif 8175-8177	If finishes during a time interval and another time interval, then the end of the time interval is between the beginning of the other time interval and the end of the other time interval
(=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R)))))))	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
(=> (startsDuring ?INTERVAL1 ?INTERVAL2) (temporallyBetween (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1) (EndFn ?INTERVAL2)))	Merge.kif 8188-8190	If starts during a time interval and another time interval, then the beginning of the time interval is between the beginning of the other time interval and the end of the other time interval

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

Show without tree

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