beforeOrEqual - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - beforeOrEqual

beforeOrEqual

appearance as argument number 1

(documentation beforeOrEqual ChineseLanguage "(beforeOrEqual ?POINT1 ?POINT2) 的意思是 ?POINT1 在通用时间轴上和 ?POINT2 是一致或比它先开始。")	chinese_format.kif 2709-2710
(documentation beforeOrEqual EnglishLanguage "(beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.")	Merge.kif 8184-8185
(documentation beforeOrEqual JapaneseLanguage "(beforeOrEqual ?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサルタイムライン上で発生する前に発生することを意味する。")	japanese_format.kif 1432-1434
(domain beforeOrEqual 1 TimePoint)	Merge.kif 8181-8181	The number 1 argument of before or equal is an instance of time point
(domain beforeOrEqual 2 TimePoint)	Merge.kif 8182-8182	The number 2 argument of before or equal is an instance of time point
(instance beforeOrEqual BinaryPredicate)	Merge.kif 8178-8178	before or equal is an instance of binary predicate
(instance beforeOrEqual PartialOrderingRelation)	Merge.kif 8180-8180	before or equal is an instance of partial ordering relation
(instance beforeOrEqual TemporalRelation)	Merge.kif 8179-8179	before or equal is an instance of temporal relation

appearance as argument number 2

(format ChineseLanguage beforeOrEqual "%1%n{doesn't}在%2 之前或同时发生")	chinese_format.kif 425-425
(format EnglishLanguage beforeOrEqual "%1 %n{doesn't} happen%p{s} before or at %2")	english_format.kif 431-431
(format FrenchLanguage beforeOrEqual "%1 %n{ne} se produit %n{pas} avant ou pendant %2")	french_format.kif 247-247
(format ItalianLanguage beforeOrEqual "%1 %n{non} succede%{s} prima di o con %2")	relations-it.txt 33-33
(format JapaneseLanguage beforeOrEqual "%1 は %2 でもその前でも happen%p{s} %n{ない}")	japanese_format.kif 2041-2041
(format PortugueseLanguage beforeOrEqual "%1 %n{nao} ocorre %n antes ou durante %2")	portuguese_format.kif 199-199
(format cz beforeOrEqual "%1 %n{doesn't} happen%{s} before or at %2")	relations-cz.txt 252-252
(format de beforeOrEqual "%1 geschieht vor oder gleichzeitig mit %2 %n{nicht}")	relations-de.txt 553-553
(format hi beforeOrEqual "%1 %2 ke saatha yaa pahale %n{nahiin} ghaTita hotaa hai")	relations-hindi.txt 77-77
(format ro beforeOrEqual "%1 %n{nu} happen%t{se întâmplã} înainte de sau la %2")	relations-ro.kif 268-268
(format sv beforeOrEqual "%1 inträffar %n{inte} före eller vid %2")	relations-sv.txt 269-269
(format tg beforeOrEqual "%1 %n{hindi} nagaanap bago o sa panahon dati %2")	relations-cb.txt 67-67
(subrelation before beforeOrEqual)	Merge.kif 8141-8141	before is a subrelation of before or equal
(termFormat ChineseLanguage beforeOrEqual "之前或同时")	chinese_format.kif 426-426	before is a subrelation of before or equal
(termFormat ChineseLanguage beforeOrEqual "之前或相等")	domainEnglishFormat.kif 10560-10560	before is a subrelation of before or equal
(termFormat ChineseTraditionalLanguage beforeOrEqual "之前或相等")	domainEnglishFormat.kif 10559-10559	before is a subrelation of before or equal
(termFormat EnglishLanguage beforeOrEqual "before or equal")	domainEnglishFormat.kif 10558-10558	before is a subrelation of before or equal
(termFormat de beforeOrEqual "vorOderGleichzeitig")	terms-de.txt 170-170	before is a subrelation of before or equal
(termFormat tg beforeOrEqual "nagaanap bago o sa panahon dati")	relations-tg.txt 83-83	before is a subrelation of before or equal

antecedent

(=> (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)) (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8242-8246	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 ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1))	Merge.kif 8311-8321	If a time interval is an instance of time interval and another time interval is an instance of time interval and the beginning of the other time interval happens before or at the beginning of the time interval and the beginning of the time interval happens before the end of the other time interval, then the time interval overlaps the other time interval
(=> (beforeOrEqual ?POINT1 ?POINT2) (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)))	Merge.kif 8187-8191	If a time point happens before or at another time point, then the time point happens before the other time point or the time point is equal to the other time point

consequent

(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 655-667	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (firstInstanceCreated ?C ?T) (instance ?I ?C)) (beforeOrEqual ?T (BeginFn (WhenFn ?I))))	Mid-level-ontology.kif 31806-31812	If a kind of physical was firstInstanceCreated at a time point and another physical is an instance of a kind of physical, then the time point happens before or at the beginning of the time of existence of the other physical
(=> (and (holdsDuring ?T2 ?SIT2) (holdsDuring ?T1 ?SIT1) (instance ?T1 TimeInterval) (instance ?T2 TimeInterval) (causesProposition ?SIT1 ?SIT2)) (beforeOrEqual (BeginFn ?T1) (BeginFn ?T2)))	Merge.kif 3829-3836	If a formula holds during a time interval and another formula holds during another time interval and the other time interval is an instance of time interval and the time interval is an instance of time interval and the formula is a causes proposition of the other formula, then the beginning of the other time interval happens before or at the beginning of the time interval
(=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeOrEqual ?TIME1 ?TIME) (beforeOrEqual ?TIME ?TIME2)) (time ?OBJ ?TIME))))))	Merge.kif 8152-8164	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happens before or at the third time point and the third time point happens before or at the other time point, then the physical exists during the third time point
(=> (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)) (beforeOrEqual ?POINT1 ?POINT2))	Merge.kif 8193-8197	If a time point happens before another time point or the time point is equal to the other time point, then the time point happens before or at the other time point
(=> (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)))	Merge.kif 8236-8240	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

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