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
-------------------------


(documentation earlier ChineseLanguage "(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。") chinese_format.kif 2724-2725
(documentation earlier EnglishLanguage "(earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins.") Merge.kif 8276-8278
(domain earlier 1 TimeInterval) Merge.kif 8273-8273
(domain earlier 2 TimeInterval) Merge.kif 8274-8274
(instance earlier BinaryPredicate) Merge.kif 8268-8268
(instance earlier IrreflexiveRelation) Merge.kif 8271-8271
(instance earlier TemporalRelation) Merge.kif 8269-8269
(instance earlier TotalValuedRelation) Merge.kif 8272-8272
(instance earlier TransitiveRelation) Merge.kif 8270-8270

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


(format ChineseLanguage earlier "%1 %n{doesn't} 比%2发生的earlier") chinese_format.kif 437-437
(format EnglishLanguage earlier "%1 %n{doesn't} happen%p{s} earlier than %2") english_format.kif 443-443
(relatedInternalConcept before earlier) Merge.kif 8004-8004
(termFormat ChineseLanguage earlier "早期") domainEnglishFormat.kif 20781-20781
(termFormat ChineseLanguage earlier "更早") chinese_format.kif 438-438
(termFormat ChineseTraditionalLanguage earlier "早期") domainEnglishFormat.kif 20780-20780
(termFormat EnglishLanguage earlier "earlier") domainEnglishFormat.kif 20779-20779

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


(=>
    (and
        (dampingRatio ?P ?R)
        (greaterThan ?R 0)
        (instance ?T Tremor)
        (patient ?T ?P)
        (instance ?U UnitOfLength)
        (holdsDuring ?T1
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring ?T2
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U)))
        (during ?T1 ?T)
        (during ?T2 ?T)
        (earlier ?T1 ?T2))
    (greaterThan ?A1 ?A2))		 Cars.kif 809-825
(=>
    (and
        (earlier ?TI1 ?TI2)
        (instance ?P1 TimePoint)
        (instance ?P2 TimePoint)
        (temporalPart ?P1 ?TI1)
        (temporalPart ?P2 ?TI2))
    (before ?P1 ?P2))		 Merge.kif 8183-8190
(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR))
        (earlier ?T1 ?T2))
    (confersNorm
        (relative ?MONARCH ?SUCCESSOR)
        (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal))		 Government.kif 209-221
(=>
    (and
        (holdsDuring ?T
            (desires ?M
                (attribute ?V Dead)))
        (instance ?MURDER Murder)
        (agent ?MURDER ?M)
        (patient ?MURDER ?V)
        (earlier ?T
            (WhenFn ?MURDER)))
    (attribute ?MURDER Premeditated))		 Law.kif 524-533
(=>
    (and
        (instance ?D Antidiuretic)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?D)
        (instance ?U1 Urination)
        (result ?U1 ?P1)
        (agent ?U1 ?H)
        (instance ?U2 Urination)
        (not
            (equal ?U1 ?U2))
        (result ?U2 ?P2)
        (agent ?U2 ?H)
        (earlier ?U1 ?I)
        (earlier ?I ?U2)
        (instance ?V VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N1 ?N2) Likely))		 Mid-level-ontology.kif 9623-9646
(=>
    (and
        (instance ?D Diuretic)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?D)
        (instance ?U1 Urination)
        (result ?U1 ?P1)
        (agent ?U1 ?H)
        (instance ?U2 Urination)
        (result ?U2 ?P2)
        (agent ?U2 ?H)
        (earlier ?U1 ?I)
        (earlier ?I ?U2)
        (instance ?V VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))		 Mid-level-ontology.kif 9593-9614
(=>
    (and
        (instance ?DEATH Death)
        (instance ?REM OrganismRemains)
        (instance ?ORG Organism)
        (holdsDuring ?T2
            (part ?OBJ ?REM))
        (holdsDuring ?T1
            (part ?OBJ ?ORG))
        (earlier ?T1 ?T2)
        (experiencer ?DEATH ?ORG))
    (result ?DEATH ?REM))		 Mid-level-ontology.kif 83-92
(=>
    (and
        (instance ?DEATH Death)
        (instance ?REM OrganismRemains)
        (instance ?ORG Organism)
        (holdsDuring ?T2
            (part ?OBJ ?REM))
        (holdsDuring ?T1
            (part ?OBJ ?ORG))
        (earlier ?T1 ?T2)
        (result ?DEATH ?REM))
    (experiencer ?DEATH ?ORG))		 Mid-level-ontology.kif 72-81
(=>
    (and
        (instance ?I Ingesting)
        (experiencer ?I ?H)
        (objectTransferred ?I ?MS)
        (instance ?MS MoodStabilizer)
        (instance ?E ?EC)
        (involvedInEvent ?E ?H)
        (holdsDuring
            (WhenFn ?E)
            (attribute ?H ?ES))
        (instance ?ES EmotionalState)
        (instance ?E2 ?EC)
        (involvedInEvent ?E2 ?H)
        (earlier
            (WhenFn ?E2)
            (WhenFn ?I)))
    (modalAttribute
        (not
            (holdsDuring ?E2
                (attribute ?H ?ES))) Unlikely))		 Mid-level-ontology.kif 9342-9363
(=>
    (earlier ?INTERVAL1 ?INTERVAL2)
    (before
        (EndFn ?INTERVAL1)
        (BeginFn ?INTERVAL2)))		 Merge.kif 8280-8282

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


(=>
    (and
        (attribute ?AC TwoFactorAuthentication)
        (loggedInDuring ?A ?AC ?T))
    (exists (?TF)
        (and
            (instance ?TF TwoFactorLoggingIn)
            (agent ?TF ?A)
            (accountUsed ?TF ?AC)
            (earlier
                (WhenFn ?TF) ?T))))		 ComputingBrands.kif 4336-4345
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))		 Government.kif 598-603
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?MEMBER)
                (eCommerceSite ?BUYING ?SITE)
                (earlier
                    (WhenFn ?BUYING) ?INT)))))		 UXExperimentalTerms.kif 3753-3763
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (not
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?MEMBER)
                (eCommerceSite ?SELLING ?SITE)
                (earlier
                    (WhenFn ?SELLING) ?INT)))))		 UXExperimentalTerms.kif 3801-3811
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))		 MilitaryPersons.kif 26-47
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P Evacuee))
        (instance ?T1 TimeInterval))
    (exists (?EV ?MIL)
        (and
            (instance ?EV Evacuation)
            (agent ?EV ?MIL)
            (instance ?MIL MilitaryOrganization)
            (experiencer ?EV ?P)
            (earlier
                (WhenFn ?EV) ?T1))))		 MilitaryPersons.kif 120-131
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P InternallyDisplacedPerson))
        (instance ?T1 TimeInterval))
    (exists (?SITUATION)
        (and
            (earlier ?T0 ?T1)
            (causesProposition
                (holdsDuring ?T0
                    (fears ?P ?SITUATION))
                (holdsDuring ?T1
                    (attribute ?P InternallyDisplacedPerson))))))		 MilitaryPersons.kif 101-111
(=>
    (and
        (holdsDuring ?T1
            (spouse ?P1 ?P2))
        (instance ?T1 TimeInterval))
    (exists (?WED)
        (and
            (instance ?WED Wedding)
            (patient ?WED ?P1)
            (patient ?WED ?P2)
            (earlier
                (WhenFn ?WED) ?T1))))		 Mid-level-ontology.kif 7641-7651
(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))		 Merge.kif 14069-14076
(=>
    (and
        (instance ?B Bequeathing)
        (agent ?B ?P)
        (destination ?B ?H)
        (objectTransferred ?B ?PROP))
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (earlier
                (WhenFn ?D)
                (WhenFn ?B))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (possesses ?P ?PROP))
            (confersNorm ?P
                (possesses ?H ?PROP) Permission))))		 Mid-level-ontology.kif 18030-18046
(=>
    (and
        (instance ?B Birth)
        (origin ?B ?F))
    (exists (?Z ?T)
        (and
            (instance ?Z Zygote)
            (earlier ?T
                (WhenFn ?B))
            (holdsDuring ?T
                (located ?Z ?F)))))		 Mid-level-ontology.kif 23434-23443
(=>
    (and
        (instance ?BB Bodybuilding)
        (agent ?BB ?H))
    (exists (?W)
        (and
            (instance ?W Weightlifting)
            (agent ?W ?H)
            (earlier
                (WhenFn ?W)
                (WhenFn ?BB)))))		 Sports.kif 709-719
(=>
    (and
        (instance ?C ComputerBackingUp)
        (dataProcessed ?C ?DD)
        (instance ?DD DigitalData)
        (agent ?C ?A))
    (desires ?A
        (exists (?T)
            (and
                (earlier
                    (WhenFn ?C) ?T)
                (holdsDuring
                    (?T)
                    (exists (?PROC)
                        (and
                            (instance ?PROC ComputerProcess)
                            (capability ?PROC dataProcessed ?DD))))))))		 ComputingBrands.kif 3461-3475
(=>
    (and
        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
        (and
            (instance ?S Stating)
            (earlier ?S ?C)
            (instance ?RA ReachingAgreement)
            (agent ?S ?A2)
            (containsInformation ?RA ?P)
            (containsInformation ?S ?P)
            (partyToAgreement ?RA ?A)
            (partyToAgreement ?RA ?A2))))		 Mid-level-ontology.kif 29027-29041
(=>
    (and
        (instance ?D1
            (DayFn ?N1
                (MonthFn ?M
                    (YearFn ?Y))))
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (greaterThan ?N2 ?N1))
    (earlier ?D1 ?D2))		 Merge.kif 8633-8638
(=>
    (and
        (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
        (patient ?DISMANTLE ?WEAPON))
    (exists (?DEVELOP)
        (and
            (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
            (result ?DEVELOP ?WEAPON)
            (earlier
                (WhenFn ?DEVELOP)
                (WhenFn ?DISMANTLE)))))		 WMD.kif 750-758
(=>
    (and
        (instance ?E Matriculation)
        (agent ?E ?C)
        (patient ?E ?P)
        (instance ?C College))
    (exists (?G ?S)
        (and
            (instance ?G Graduation)
            (agent ?G ?S)
            (patient ?G ?P)
            (instance ?S SecondarySchool)
            (earlier
                (WhenFn ?G)
                (WhenFn ?E)))))		 Mid-level-ontology.kif 16110-16122
(=>
    (and
        (instance ?ENTER Matriculation)
        (agent ?ENTER ?COLLEGE)
        (patient ?ENTER ?STUDENT)
        (instance ?COLLEGE College))
    (exists (?GRAD ?SCHOOL)
        (and
            (instance ?GRAD Graduation)
            (agent ?GRAD ?SCHOOL)
            (patient ?GRAD ?STUDENT)
            (instance ?SCHOOL HighSchool)
            (earlier
                (WhenFn ?GRAD)
                (WhenFn ?ENTER)))))		 Mid-level-ontology.kif 16091-16103
(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))		 Merge.kif 11372-11380
(=>
    (and
        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
        (and
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))		 Mid-level-ontology.kif 22936-22949
(=>
    (and
        (instance ?INHERIT Inheriting)
        (agent ?INHERIT ?HEIR)
        (origin ?INHERIT ?PERSON)
        (patient ?INHERIT ?PROPERTY))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?PERSON)
            (earlier
                (WhenFn ?DEATH)
                (WhenFn ?INHERIT))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?DEATH))
                (possesses ?PERSON ?PROPERTY))
            (confersRight
                (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))		 Mid-level-ontology.kif 17972-17990
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))		 UXExperimentalTerms.kif 3584-3616
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWREGISTRATIONS)
        (and
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                            (and
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))		 UXExperimentalTerms.kif 3636-3663
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))		 UXExperimentalTerms.kif 3683-3715
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))		 Merge.kif 10519-10531

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