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 是一致或比它先开始。") Merge.kif 8319-8320
(documentation beforeOrEqual EnglishLanguage "(beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.") Merge.kif 8317-8318
(domain beforeOrEqual 1 TimePoint) Merge.kif 8315-8315
(domain beforeOrEqual 2 TimePoint) Merge.kif 8316-8316
(instance beforeOrEqual BinaryPredicate) Merge.kif 8312-8312
(instance beforeOrEqual PartialOrderingRelation) Merge.kif 8314-8314
(instance beforeOrEqual TemporalRelation) Merge.kif 8313-8313

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 257-257
(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 PortugueseLanguage beforeOrEqual "%1 %n{nao} ocorre %n antes ou durante %2") portuguese_format.kif 199-199
(format ar beforeOrEqual "%1 %n{لا} يَحْدُث قَبْلَ أو في %2") arabic_format.kif 181-181
(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 tg beforeOrEqual "%1 %n{hindi} nagaanap bago o sa panahon dati %2") relations-cb.txt 67-67
(subrelation before beforeOrEqual) Merge.kif 8274-8274
(termFormat ChineseLanguage beforeOrEqual "之前或同时") chinese_format.kif 426-426
(termFormat EnglishLanguage beforeOrEqual "before or equal") domainEnglishFormat.kif 2182-2182
(termFormat ar beforeOrEqual "«يَحْدُث قَبْلَ أو في»") arabic_format.kif 631-631
(termFormat tg beforeOrEqual "nagaanap bago o sa panahon dati") relations-tg.txt 83-83

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


(=>
    (beforeOrEqual ?POINT1 ?POINT2)
    (or
        (before ?POINT1 ?POINT2)
        (equal ?POINT1 ?POINT2)))
Merge.kif 8322-8326

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


(<=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 8363-8367
(=>
    (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 615-627
(=>
    (and
        (firstInstanceCreated ?C ?T)
        (instance ?I ?C))
    (beforeOrEqual ?T
        (BeginFn
            (WhenFn ?I))))
Mid-level-ontology.kif 28747-28753
(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))
Merge.kif 3947-3954
(=>
    (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 8286-8298


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