Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  beforeOrEqual

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 8255-8256
(documentation beforeOrEqual JapaneseLanguage "(beforeOrEqual ?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。") japanese_format.kif 1432-1434
(domain beforeOrEqual 1 TimePoint) Merge.kif 8252-8252 之前或相等, 1 and TimePoint
(domain beforeOrEqual 2 TimePoint) Merge.kif 8253-8253 之前或相等, 2 and TimePoint
(instance beforeOrEqual BinaryPredicate) Merge.kif 8249-8249 之前或相等 and BinaryPredicate
(instance beforeOrEqual PartialOrderingRelation) Merge.kif 8251-8251 之前或相等 and PartialOrderingRelation
(instance beforeOrEqual TemporalRelation) Merge.kif 8250-8250 之前或相等 and TemporalRelation

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 8212-8212 子關係 之前 and 之前或相等
(termFormat ChineseLanguage beforeOrEqual "之前或同时") chinese_format.kif 426-426 子關係 之前 and 之前或相等
(termFormat ChineseLanguage beforeOrEqual "之前或相等") domainEnglishFormat.kif 10554-10554 子關係 之前 and 之前或相等
(termFormat ChineseTraditionalLanguage beforeOrEqual "之前或相等") domainEnglishFormat.kif 10553-10553 子關係 之前 and 之前或相等
(termFormat EnglishLanguage beforeOrEqual "before or equal") domainEnglishFormat.kif 10552-10552 子關係 之前 and 之前或相等
(termFormat de beforeOrEqual "vorOderGleichzeitig") terms-de.txt 170-170 子關係 之前 and 之前或相等
(termFormat tg beforeOrEqual "nagaanap bago o sa panahon dati") relations-tg.txt 83-83 子關係 之前 and 之前或相等

antecedent
-------------------------


(=>
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3))
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))
Merge.kif 8313-8317
(=>
    (and
        (instance ?TI1 TimeInterval)
        (instance ?TI2 TimeInterval)
        (beforeOrEqual
            (BeginFn ?TI2)
            (BeginFn ?TI1))
        (before
            (BeginFn ?TI1)
            (EndFn ?TI2)))
    (overlapsTemporally ?TI2 ?TI1))
Merge.kif 8382-8392
(=>
    (beforeOrEqual ?POINT1 ?POINT2)
    (or
        (before ?POINT1 ?POINT2)
        (equal ?POINT1 ?POINT2)))
Merge.kif 8258-8262

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 657-669
(=>
    (and
        (firstInstanceCreated ?C ?T)
        (instance ?I ?C))
    (beforeOrEqual ?T
        (BeginFn
            (WhenFn ?I))))
Mid-level-ontology.kif 32626-32632
(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))
Merge.kif 3849-3856
(=>
    (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 8223-8235
(=>
    (or
        (before ?POINT1 ?POINT2)
        (equal ?POINT1 ?POINT2))
    (beforeOrEqual ?POINT1 ?POINT2))
Merge.kif 8264-8268
(=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 8307-8311


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 3.0 is open source software produced by Articulate Software and its partners