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

Formal Language: 



KB Term:  Term intersection
English Word: 

  earlier

Sigma KEE - earlier
earlier

appearance as argument number 1
-------------------------


s__documentation(s__earlier__m,s__ChineseLanguage,'"(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。"')

chinese_format.kif 2724-2725
s__documentation(s__earlier__m,s__EnglishLanguage,'"(earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins."')

Merge.kif 8032-8034
s__domain(s__earlier__m,n__1,s__TimeInterval)

Merge.kif 8029-8029 The number 1 argument of earlier is an instance of time interval
s__domain(s__earlier__m,n__2,s__TimeInterval)

Merge.kif 8030-8030 The number 2 argument of earlier is an instance of time interval
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__earlier__m,s__BinaryPredicate)

Merge.kif 8024-8024 earlier is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__Class)

s__instance(s__earlier__m,s__IrreflexiveRelation)

Merge.kif 8027-8027 earlier is an instance of irreflexive relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__earlier__m,s__TemporalRelation)

Merge.kif 8025-8025 earlier is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__earlier__m,s__TotalValuedRelation)

Merge.kif 8028-8028 earlier is an instance of total valued relation
s__instance(s__earlier__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__Class)

Merge.kif 8026-8026 earlier is an instance of transitive relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__earlier__m,'"%1 %n{doesnt} 比%2发生的earlier"')

chinese_format.kif 437-437
s__format(s__EnglishLanguage,s__earlier__m,'"%1 %n{doesnt} happen%p{s} earlier than %2"')

english_format.kif 443-443
s__relatedInternalConcept(s__before__m,s__earlier__m)

Merge.kif 7854-7854 before is internally related to earlier
s__termFormat(s__ChineseLanguage,s__earlier__m,'"早期"')

domainEnglishFormat.kif 20781-20781
s__termFormat(s__ChineseLanguage,s__earlier__m,'"更早"')

chinese_format.kif 438-438
s__termFormat(s__ChineseTraditionalLanguage,s__earlier__m,'"早期"')

domainEnglishFormat.kif 20780-20780
s__termFormat(s__EnglishLanguage,s__earlier__m,'"earlier"')

domainEnglishFormat.kif 20779-20779

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


( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__earlier(V__INTERVAL1,V__INTERVAL2)
           =>
           s__before(s__EndFn(V__INTERVAL1)
        ,s__BeginFn(V__INTERVAL2)))
   &
   (s__before(s__EndFn(V__INTERVAL1)
  ,s__BeginFn(V__INTERVAL2))
=>
s__earlier(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 8036-8038 A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9495-9518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9465-9486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9214-9235

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


( ! [V__AC,V__A,V__T] :
   (((s__instance(V__AC,s__UserAccount) &
         s__instance(V__A,s__Agent) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__attribute(V__AC,s__TwoFactorAuthentication) &
             s__loggedInDuring(V__A,V__AC,V__T))
         =>
         (( ? [V__TF] :
             ((s__instance(V__TF,s__TwoFactorLoggingIn) &
                 s__agent(V__TF,V__A)
               &
               s__accountUsed(V__TF,V__AC)
             &
             s__earlier(s__WhenFn(V__TF)
          ,V__T))))))))
)
)

ComputingBrands.kif 4337-4346
( ! [V__DAY,V__MONTH,V__HOLIDAY,V__ANYO,V__DATE,V__YEAR] :
   (((s__instance(V__DAY,s__PositiveInteger) &
         s__subclass(V__MONTH,s__Month) &
         s__instance(V__HOLIDAY,s__Holiday) &
         s__instance(V__HOLIDAY,s__Class) &
         s__instance(V__ANYO,s__TimeInterval) &
         s__instance(V__DATE,s__TimeInterval) &
         s__instance(V__YEAR,s__Integer))
       =>
       (((s__commemoratesDate(V__HOLIDAY,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__YEAR))))
     &
     s__instance(V__DATE,V__HOLIDAY)
   &
   s__instance(V__ANYO,s__YearFn(V__YEAR)))
=>
(~(s__earlier(V__DATE,V__ANYO))))))
)
)

Government.kif 599-604
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (~(( ? [V__BUYING] :
             ((s__instance(V__BUYING,s__Buying) &
                 s__agent(V__BUYING,V__MEMBER)
               &
               s__eCommerceSite(V__BUYING,V__SITE)
             &
             s__earlier(s__WhenFn(V__BUYING)
          ,V__INT)))))))))
)
)

UXExperimentalTerms.kif 3753-3763
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (~(( ? [V__SELLING] :
             ((s__instance(V__SELLING,s__Selling) &
                 s__agent(V__SELLING,V__MEMBER)
               &
               s__eCommerceSite(V__SELLING,V__SITE)
             &
             s__earlier(s__WhenFn(V__SELLING)
          ,V__INT)))))))))
)
)

UXExperimentalTerms.kif 3801-3811
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7617-7627
No TPTP formula. May not be expressible in strict first order. Merge.kif 13697-13704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17885-17901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23288-23297
( ! [V__H,V__BB] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__BB,s__Bodybuilding) &
             s__agent(V__BB,V__H))
         =>
         (( ? [V__W] :
             ((s__instance(V__W,s__Weightlifting) &
                 s__agent(V__W,V__H)
               &
               s__earlier(s__WhenFn(V__W)
            ,s__WhenFn(V__BB)))))))))
)
)

Sports.kif 709-719
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3462-3476
( ! [V__P,V__A,V__C] :
   (((s__instance(V__P,s__Proposition) &
         s__instance(V__A,s__Agent) &
         s__instance(V__A,s__Agreement))
       =>
       (((s__instance(V__C,s__Confirming) &
             s__agent(V__C,V__A)
           &
           s__containsInformation(V__C,V__P))
       =>
       (( ? [V__S, V__RA, V__A2] :
           ((s__instance(V__A2,s__Agent) &
               s__instance(V__A2,s__Agreement) &
               (s__instance(V__S,s__Stating) &
                 s__earlier(V__S,V__C)
               &
               s__instance(V__RA,s__ReachingAgreement) &
               s__agent(V__S,V__A2)
             &
             s__containsInformation(V__RA,V__P)
           &
           s__containsInformation(V__S,V__P)
         &
         s__partyToAgreement(V__RA,V__A)
       &
       s__partyToAgreement(V__RA,V__A2)))))))))
)
)

Mid-level-ontology.kif 28882-28896
( ! [V__N1,V__N2,V__Y,V__D1,V__D2,V__M] :
   (((s__instance(V__N1,s__PositiveInteger) &
         s__instance(V__N2,s__PositiveInteger) &
         s__instance(V__Y,s__Integer) &
         s__instance(V__D1,s__TimeInterval) &
         s__instance(V__D2,s__TimeInterval) &
         s__subclass(V__M,s__Month))
       =>
       (((s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y))))
     &
     s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y))))
&
s__greaterThan(V__N2,V__N1))
=>
(s__earlier(V__D1,V__D2)))))
)
)

Merge.kif 8382-8387
( ! [V__WEAPON,V__DISMANTLE] :
   (((s__instance(V__DISMANTLE,s__DismantlingWeaponOfMassDestruction) &
         s__patient(V__DISMANTLE,V__WEAPON))
     =>
     (( ? [V__DEVELOP] :
         ((s__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction) &
             s__result(V__DEVELOP,V__WEAPON)
           &
           s__earlier(s__WhenFn(V__DEVELOP)
        ,s__WhenFn(V__DISMANTLE)))))))
)
)

WMD.kif 745-753
( ! [V__P,V__C,V__E] :
   (((s__instance(V__E,s__Matriculation) &
         s__agent(V__E,V__C)
       &
       s__patient(V__E,V__P)
     &
     s__instance(V__C,s__College))
   =>
   (( ? [V__G, V__S] :
       ((s__instance(V__G,s__Graduation) &
           s__agent(V__G,V__S)
         &
         s__patient(V__G,V__P)
       &
       s__instance(V__S,s__SecondarySchool) &
       s__earlier(s__WhenFn(V__G)
    ,s__WhenFn(V__E)))))))
)
)

Mid-level-ontology.kif 15965-15977
( ! [V__COLLEGE,V__STUDENT,V__ENTER] :
   (((s__instance(V__ENTER,s__Matriculation) &
         s__agent(V__ENTER,V__COLLEGE)
       &
       s__patient(V__ENTER,V__STUDENT)
     &
     s__instance(V__COLLEGE,s__College))
   =>
   (( ? [V__GRAD, V__SCHOOL] :
       ((s__instance(V__GRAD,s__Graduation) &
           s__agent(V__GRAD,V__SCHOOL)
         &
         s__patient(V__GRAD,V__STUDENT)
       &
       s__instance(V__SCHOOL,s__HighSchool) &
       s__earlier(s__WhenFn(V__GRAD)
    ,s__WhenFn(V__ENTER)))))))
)
)

Mid-level-ontology.kif 15946-15958
( ! [V__OBJ,V__IMPACT] :
   (((s__instance(V__IMPACT,s__Impacting) &
         s__patient(V__IMPACT,V__OBJ))
     =>
     (( ? [V__IMPEL] :
         ((s__instance(V__IMPEL,s__Impelling) &
             s__patient(V__IMPEL,V__OBJ)
           &
           s__earlier(s__WhenFn(V__IMPEL)
        ,s__WhenFn(V__IMPACT)))))))
)
)

Merge.kif 11056-11064
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] :
   (((s__instance(V__IMPRISON,s__Imprisoning) &
         s__detainee(V__IMPRISON,V__AGENT)
       &
       s__instance(V__AGENT,s__Human) &
       s__time(V__IMPRISON,V__INTERVAL)
     &
     s__instance(V__INTERVAL,s__TimeInterval))
   =>
   (( ? [V__ARREST, V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           s__time(V__ARREST,V__TIME)
         &
         s__earlier(V__TIME,V__INTERVAL)
       &
       s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT))))))
)
)

Mid-level-ontology.kif 22790-22803
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17827-17845
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. Merge.kif 10216-10228

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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