temporallyBetween - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 8201-8204
(documentation temporallyBetween JapaneseLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT2 が TimePoint ?POINT1 と ?POINT3の間にあることを意味する。")	japanese_format.kif 1435-1437
(domain temporallyBetween 1 TimePoint)	Merge.kif 8197-8197	The number 1 argument of temporally between is an instance of time point
(domain temporallyBetween 2 TimePoint)	Merge.kif 8198-8198	The number 2 argument of temporally between is an instance of time point
(domain temporallyBetween 3 TimePoint)	Merge.kif 8199-8199	The number 3 argument of temporally between is an instance of time point
(instance temporallyBetween PartialValuedRelation)	Merge.kif 8195-8195	temporally between is an instance of partial valued relation
(instance temporallyBetween TemporalRelation)	Merge.kif 8193-8193	temporally between is an instance of temporal relation
(instance temporallyBetween TernaryPredicate)	Merge.kif 8194-8194	temporally between is an instance of ternary predicate
(subrelation temporallyBetween temporallyBetweenOrEqual)	Merge.kif 8196-8196	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 57482-57482
(termFormat ChineseLanguage temporallyBetween "在两个时间之间")	chinese_format.kif 428-428
(termFormat ChineseTraditionalLanguage temporallyBetween "一時之間")	domainEnglishFormat.kif 57481-57481
(termFormat EnglishLanguage temporallyBetween "temporally between")	domainEnglishFormat.kif 57480-57480

antecedent

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

Merge.kif 8206-8210

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 8212-8216	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 7929-7934	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 7911-7916	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
(=> (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

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