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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7808-7810
s__domain(s__earlier__m,n__1,s__TimeInterval)

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

Merge.kif 7806-7806 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 7800-7800 earlier is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__earlier__m,s__IrreflexiveRelation)

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

s__instance(s__TemporalRelation,s__SetOrClass)

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

s__instance(s__earlier__m,s__TotalValuedRelation)

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

s__instance(s__earlier__m,s__TransitiveRelation)

Merge.kif 7802-7802 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 7633-7633 before is internally related to earlier
s__termFormat(s__ChineseLanguage,s__earlier__m,'"早期"')

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

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

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

domainEnglishFormat.kif 20711-20711

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 7812-7814 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 803-816
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 207-216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 195-204

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 4298-4307
( ! [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__SetOrClass) &
       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 3748-3758
( ! [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 3796-3806
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 7658-7668
No TPTP formula. May not be expressible in strict first order. Merge.kif 13275-13282
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16349-16365
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3490-3504
( ! [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 27816-27830
( ! [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 8158-8163
( ! [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 14291-14303
( ! [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 14272-14284
( ! [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 10729-10737
( ! [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 21437-21450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16294-16312
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
( ! [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 11281-11291
( ! [V__N1,V__M1,V__N2,V__M2,V__Y] :
   ((s__instance(V__N1,s__SetOrClass) &
       s__subclass(V__N1,s__Month) &
       s__instance(V__M1,s__TimeInterval) &
       s__instance(V__N2,s__SetOrClass) &
       s__subclass(V__N2,s__Month) &
       s__instance(V__M2,s__TimeInterval) &
       s__instance(V__Y,s__Integer))
     =>
     (s__instance(V__M1,s__MonthFn(V__N1,s__YearFn(V__Y)))
&
s__instance(V__M2,s__MonthFn(V__N2,s__YearFn(V__Y)))
&
s__successorClass(V__N1,V__N2))
=>
s__earlier(V__M1,V__M2)
)
)

Merge.kif 8142-8147
( ! [V__PLAN,V__PROC] :
   ((s__instance(V__PLAN,s__Plan) &
       s__instance(V__PROC,s__Process) &
       s__represents(V__PLAN,V__PROC))
   =>
   ( ? [V__PLANNING, V__CBO] :
     ((s__instance(V__PLANNING,s__Planning) &
         s__instance(V__CBO,s__ContentBearingPhysical) &
         s__containsInformation(V__CBO,V__PLAN)
       &
       s__result(V__PLANNING,V__CBO)
     &
     s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__PROC))))))
)
)

Military.kif 32-44

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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