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 7708-7709
(domain beforeOrEqual 1 TimePoint) Merge.kif 7705-7705 The number 1 argument of before or equal is an instance of time point
(domain beforeOrEqual 2 TimePoint) Merge.kif 7706-7706 The number 2 argument of before or equal is an instance of time point
(instance beforeOrEqual BinaryPredicate) Merge.kif 7702-7702 before or equal is an instance of binary predicate
(instance beforeOrEqual PartialOrderingRelation) Merge.kif 7704-7704 before or equal is an instance of partial ordering relation
(instance beforeOrEqual TemporalRelation) Merge.kif 7703-7703 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 7665-7665 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 7711-7715

consequent
-------------------------


(<=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 7748-7752 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
(=>
    (and
        (firstInstanceCreated ?C ?T)
        (instance ?I ?C))
    (beforeOrEqual ?T
        (BeginFn
            (WhenFn ?I))))
Mid-level-ontology.kif 28860-28866
(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))
Merge.kif 3695-3702
(=>
    (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 7676-7688


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