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 7991-7993
s__domain(s__earlier__m,n__1,s__TimeInterval)

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

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

s__instance(s__earlier__m,s__BinaryPredicate)

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

s__instance(s__earlier__m,s__IrreflexiveRelation)

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

s__instance(s__TemporalRelation,s__SetOrClass)

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

s__instance(s__earlier__m,s__TotalValuedRelation)

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

s__instance(s__earlier__m,s__TransitiveRelation)

Merge.kif 7985-7985 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 446-446
s__relatedInternalConcept(s__before__m,s__earlier__m)

Merge.kif 7813-7813 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 7995-7997 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 9063-9084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9033-9054
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 8823-8844

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 4344-4353
( ! [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 7329-7339
No TPTP formula. May not be expressible in strict first order. Merge.kif 13652-13659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16817-16833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22206-22215
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3483
( ! [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 27789-27803
( ! [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 8341-8346
( ! [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 14936-14948
( ! [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 14917-14929
( ! [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 11012-11020
( ! [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 21708-21721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16759-16777
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 10172-10184
( ! [V__AGENT,V__OBJ,V__KEEP] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__KEEP,s__Keeping) &
             s__agent(V__KEEP,V__AGENT)
           &
           s__patient(V__KEEP,V__OBJ))
       =>
       (( ? [V__PUT] :
           ((s__instance(V__PUT,s__Putting) &
               s__agent(V__PUT,V__AGENT)
             &
             s__patient(V__PUT,V__OBJ)
           &
           s__earlier(s__WhenFn(V__PUT)
        ,s__WhenFn(V__KEEP)))))))))
)
)

Merge.kif 11564-11574

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