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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Scotland

Sigma KEE - earlier
earlier

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


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

Merge.kif 8462-8463
s__documentation(s__earlier__m,s__EnglishLanguage,'(earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins.')

Merge.kif 8459-8461
s__domain(s__earlier__m,1,s__TimeInterval)

Merge.kif 8457-8457
s__domain(s__earlier__m,2,s__TimeInterval)

Merge.kif 8458-8458
s__instance(s__earlier__m,s__BinaryPredicate)

Merge.kif 8452-8452
s__instance(s__IrreflexiveRelation,s__SetOrClass)

Merge.kif 8455-8455
s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 8453-8453
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 8456-8456
s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 8454-8454

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 264-264
s__format(s__FrenchLanguage,s__earlier__m,'%1 %n{n} arrive %n{pas} plus t�t que %2')

french_format.kif 253-253
s__format(s__ItalianLanguage,s__earlier__m,'%1 %n{non} accade%p{s} prima di %2')

relations-it.txt 87-87
s__format(s__PortugueseLanguage,s__earlier__m,'%1 %n{nao} acontence %n antes de %2')

portuguese_format.kif 205-205
s__format(s__ar__m,s__earlier__m,'%1 %n{لا} يَحْدُث قَبْل %2')

arabic_format.kif 187-187
s__format(s__cz__m,s__earlier__m,'%1 %n{doesnt} happen%p{s} earlier than %2')

relations-cz.txt 259-259
s__format(s__de__m,s__earlier__m,'%1 geschieht frueh als %2 %n{nicht}')

relations-de.txt 571-571
s__format(s__hi__m,s__earlier__m,'%1 %2 ke puurva ghaTita %n{nahiin} hotaa hai')

relations-hindi.txt 127-127
s__format(s__tg__m,s__earlier__m,'%1 %n{hindi} ay kanina sa %2')

relations-tg.txt 189-189
s__relatedInternalConcept(s__before__m,s__earlier__m)

Merge.kif 8275-8275
s__termFormat(s__ChineseLanguage,s__earlier__m,'更早')

chinese_format.kif 438-438
s__termFormat(s__EnglishLanguage,s__earlier__m,'earlier')

domainEnglishFormat.kif 3886-3886
s__termFormat(s__ar__m,s__earlier__m,'«يَحْدُث قَبْل»')

arabic_format.kif 637-637
s__termFormat(s__tg__m,s__earlier__m,'kanina')

relations-tg.txt 190-190

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


( ∀ [V__INTERVAL1,V__INTERVAL2]
   (s__earlier(V__INTERVAL1,V__INTERVAL2)
   <⇒
   s__before(s__EndFn(V__INTERVAL1)
,s__BeginFn(V__INTERVAL2)))
)

Merge.kif 8465-8467
No TPTP formula. May not be expressible in strict first order. Cars.kif 802-815
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 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-205

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


( ∀ [V__HOLIDAY,V__DAY,V__MONTH,V__YEAR,V__DATE,V__ANYO]
   ((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 606-611
( ∀ [V__T1,V__N1,V__M,V__Y,V__T2,V__N2]
   (((V__T1 = s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y))))

(V__T2 = s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y))))

s__greaterThan(V__N2,V__N1))

s__earlier(V__T1,V__T2))
)

Merge.kif 8845-8850
( ∀ [V__T1,V__N1,V__Y,V__T2,V__N2]
   (((V__T1 = s__MonthFn(V__N1,s__YearFn(V__Y)))
   ∧
   (V__T2 = s__MonthFn(V__N2,s__YearFn(V__Y)))

s__greaterThan(V__N2,V__N1))

s__earlier(V__T1,V__T2))
)

Merge.kif 8831-8836
( ∀ [V__T1,V__N1,V__T2,V__N2]
   (((V__T1 = s__YearFn(V__N1))
     ∧
     (V__T2 = s__YearFn(V__N2))
   ∧
   s__greaterThan(V__N2,V__N1))

s__earlier(V__T1,V__T2))
)

Merge.kif 8817-8822
( ∀ [V__INT,V__SITE,V__COLL,V__MEMBER]
   ((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 3741-3751
( ∀ [V__INT,V__SITE,V__COLL,V__MEMBER]
   ((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 3789-3799
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 7656-7666
No TPTP formula. May not be expressible in strict first order. Merge.kif 14314-14321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16230-16246
( ∀ [V__C,V__A,V__P]
   ((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__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 27730-27744
( ∀ [V__DISMANTLE,V__WEAPON]
   ((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 744-752
( ∀ [V__E,V__C,V__P]
   ((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 14290-14302
( ∀ [V__ENTER,V__COLLEGE,V__STUDENT]
   ((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 14271-14283
( ∀ [V__IMPACT,V__OBJ]
   ((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 11425-11433
( ∀ [V__IMPRISON,V__AGENT,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 21393-21406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16181-16193
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
( ∀ [V__KEEP,V__AGENT,V__OBJ]
   ((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 12044-12054
( ∀ [V__PLAN,V__PROC,V__PLANNNG]
   ((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__PLANNNG,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
No TPTP formula. May not be expressible in strict first order. Merge.kif 12011-12018

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