temporallyBetweenOrEqual - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - temporallyBetweenOrEqual

temporallyBetweenOrEqual

appearance as argument number 1

(documentation temporallyBetweenOrEqual ChineseLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POINT2 之前，而 ?POINT2 等于或是在 TimePoint?POINT3 之前。")	chinese_format.kif 2714-2716
(documentation temporallyBetweenOrEqual EnglishLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before or equal to the TimePoint ?POINT2 and ?POINT2 is before or equal to the TimePoint ?POINT3.")	Merge.kif 8287-8290
(documentation temporallyBetweenOrEqual JapaneseLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT1 が TimePoint ?POINT2 の前または同等であることを意味し、?POINT2 は TimePoint ?POINT3 の前または同等である。")	japanese_format.kif 1438-1440
(domain temporallyBetweenOrEqual 1 TimePoint)	Merge.kif 8283-8283	The number 1 argument of temporally between or equal is an instance of time point
(domain temporallyBetweenOrEqual 2 TimePoint)	Merge.kif 8284-8284	The number 2 argument of temporally between or equal is an instance of time point
(domain temporallyBetweenOrEqual 3 TimePoint)	Merge.kif 8285-8285	The number 3 argument of temporally between or equal is an instance of time point
(instance temporallyBetweenOrEqual PartialValuedRelation)	Merge.kif 8282-8282	temporally between or equal is an instance of partial valued relation
(instance temporallyBetweenOrEqual TemporalRelation)	Merge.kif 8280-8280	temporally between or equal is an instance of temporal relation
(instance temporallyBetweenOrEqual TernaryPredicate)	Merge.kif 8281-8281	temporally between or equal is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage temporallyBetweenOrEqual "%2 %n 是在或等于 %1 和 %3 between")	chinese_format.kif 429-429
(format EnglishLanguage temporallyBetweenOrEqual "%2 is %n between or at %1 and %3")	english_format.kif 435-435
(format FrenchLanguage temporallyBetweenOrEqual "%2 est %n entre ou pendant %1 et %3")	french_format.kif 249-249
(format ItalianLanguage temporallyBetweenOrEqual "%2 è %n tra o in %1 e %3")	relations-it.txt 295-295
(format JapaneseLanguage temporallyBetweenOrEqual "%2 は %1 にも %3 にもその between にも %n")	japanese_format.kif 2043-2043
(format PortugueseLanguage temporallyBetweenOrEqual "%2 e' %n entre ou durante %1 e %3")	portuguese_format.kif 201-201
(format cz temporallyBetweenOrEqual "%2 %p{je} %n{nen�} between or at %1 and %3")	relations-cz.txt 254-254
(format de temporallyBetweenOrEqual "%2 ist zwischen oder gleichzeitig mit %1 und %3")	relations-de.txt 559-559
(format hi temporallyBetweenOrEqual "%2 %1 aura %3 ke saatha yaa biicha men %n hai")	relations-hindi.txt 331-331
(format ro temporallyBetweenOrEqual "%2 %n{nu} este between%t{între} %1 ºi %3 sau la %1 sau %3")	relations-ro.kif 270-270
(format sv temporallyBetweenOrEqual "%2 ligger %n{inte} mellan eller vid %1 och %3")	relations-sv.txt 272-272
(format tg temporallyBetweenOrEqual "%2 %n ay sa pagitan ng o sa %1 at %3")	relations-tg.txt 487-487
(subrelation temporallyBetween temporallyBetweenOrEqual)	Merge.kif 8258-8258	temporally between is a subrelation of temporally between or equal
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时")	chinese_format.kif 430-430	temporally between is a subrelation of temporally between or equal
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于")	domainEnglishFormat.kif 57481-57481	temporally between is a subrelation of temporally between or equal
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於")	domainEnglishFormat.kif 57480-57480	temporally between is a subrelation of temporally between or equal
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal")	domainEnglishFormat.kif 57479-57479	temporally between is a subrelation of temporally between or equal
(termFormat de temporallyBetweenOrEqual "zeitlichZwischenOderGleichzeitig")	terms-de.txt 172-172	temporally between is a subrelation of temporally between or equal

antecedent

(=> (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))) (and (time ?PHYS ?TIME) (instance ?TIME TimePoint)))	Merge.kif 8310-8319	If a time point is between or at the beginning of the time of existence of a physical and the end of the time of existence of the physical, then the physical exists during the time point and the time point is an instance of time point
(=> (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)))	Merge.kif 8292-8296	If a time point is between or at another time point and a third time point, then the other time point happens before or at the time point and the time point happens before or at the third time point

consequent

(=> (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)) (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8298-8302	If a time point happens before or at another time point and the other time point happens before or at a third time point, then the other time point is between or at the time point and the third time point
(=> (and (instance ?POINT1 TimePoint) (instance ?POINT2 TimePoint) (instance ?INTERVAL TimeInterval) (equal (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL)) (forall (?POINT) (<=> (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2) (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8528-8537	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then for all a third time point the third time point is between or at the time point and the other time point if and only if the third time point is a part of the time interval
(=> (and (time ?PHYS ?TIME) (instance ?TIME TimePoint)) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))	Merge.kif 8304-8308	If a physical exists during a time point and the time point is an instance of time point, then the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
(=> (lastRenovation ?OBJ ?YEAR) (exists (?TIME ?REPAIR) (and (instance ?REPAIR Repairing) (patient ?REPAIR ?OBJ) (instance ?TIME ?YEAR) (temporallyBetweenOrEqual (BeginFn ?TIME) (EndFn (WhenFn ?REPAIR)) (EndFn ?TIME)))))	Hotel.kif 750-760	If the last renovation of an object was in a kind of year, then there exist a time interval and a process such that the process is an instance of repairing and the object is a patient of the process and the time interval is an instance of a kind of year and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval
(=> (yearBuilt ?OBJ ?YEAR) (exists (?TIME ?MAKE) (and (instance ?TIME ?YEAR) (instance ?MAKE Making) (result ?MAKE ?OBJ) (temporallyBetweenOrEqual (BeginFn ?TIME) (EndFn (WhenFn ?MAKE)) (EndFn ?TIME)))))	Hotel.kif 729-739	If an object was built in a kind of year, then there exist a time interval and a process such that the time interval is an instance of a kind of year and the process is an instance of making and the object is a result of the process and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval

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