TreeView Knowledge Base Browser - beforeOrEqual

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 7685-7686
(domain beforeOrEqual 1 TimePoint)	Merge.kif 7682-7682	The number 1 argument of before or equal is an instance of time point
(domain beforeOrEqual 2 TimePoint)	Merge.kif 7683-7683	The number 2 argument of before or equal is an instance of time point
(instance beforeOrEqual BinaryPredicate)	Merge.kif 7679-7679	before or equal is an instance of binary predicate
(instance beforeOrEqual PartialOrderingRelation)	Merge.kif 7681-7681	before or equal is an instance of partial ordering relation
(instance beforeOrEqual TemporalRelation)	Merge.kif 7680-7680	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%{s} before or at %2")	english_format.kif 434-434
(subrelation before beforeOrEqual)	Merge.kif 7642-7642	before is a subrelation of before or equal
(termFormat ChineseLanguage beforeOrEqual "之前或同时")	chinese_format.kif 426-426
(termFormat ChineseLanguage beforeOrEqual "之前或相等")	domainEnglishFormat.kif 10495-10495
(termFormat ChineseTraditionalLanguage beforeOrEqual "之前或相等")	domainEnglishFormat.kif 10494-10494
(termFormat EnglishLanguage beforeOrEqual "before or equal")	domainEnglishFormat.kif 10493-10493

antecedent

(=>
    (beforeOrEqual ?POINT1 ?POINT2)
    (or
        (before ?POINT1 ?POINT2)
        (equal ?POINT1 ?POINT2)))

Merge.kif 7688-7692

If a time point happen%{s} 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

(<=> (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)))	Merge.kif 7725-7729	A time point is between or at another time point and a third time point if and only if the other time point happen%{s} before or at the time point and the time point happen%{s} before or at the third time point
(=> (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 614-626	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 28888-28894	If firstInstanceCreated a kind of physical and a time point and another physical is an instance of a kind of physical, then the time point happen%{s} 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 3664-3671	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 happen%{s} 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 7653-7665	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 happen%{s} before or at the third time point and the third time point happen%{s} before or at the other time point, then the physical exists during the third time point

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners