TreeView Knowledge Base Browser

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, 1 and TimeInterval
(domain earlier 2 TimeInterval)	Merge.kif 8274-8274	domain earlier, 2 and TimeInterval
(instance earlier BinaryPredicate)	Merge.kif 8268-8268	instance earlier and BinaryPredicate
(instance earlier IrreflexiveRelation)	Merge.kif 8271-8271	instance earlier and IrreflexiveRelation
(instance earlier TemporalRelation)	Merge.kif 8269-8269	instance earlier and TemporalRelation
(instance earlier TotalValuedRelation)	Merge.kif 8272-8272	instance earlier and TotalValuedRelation
(instance earlier TransitiveRelation)	Merge.kif 8270-8270	instance earlier and TransitiveRelation

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	relatedInternalConcept before and earlier
(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	dampingRatio PhysicalSystem and RealNumber greaterThan RealNumber and 0 instance TimeInterval and Tremor patient TimeInterval and PhysicalSystem instance Entity and UnitOfLength holdsDuring TimeInterval and physicalAmplitude TimeInterval and MeasureFn RealNumber and Entity holdsDuring TimeInterval and physicalAmplitude TimeInterval and MeasureFn RealNumber and Entity during TimeInterval and TimeInterval during TimeInterval and TimeInterval earlier TimeInterval and TimeInterval greaterThan RealNumber and RealNumber
(=> (and (earlier ?TI1 ?TI2) (instance ?P1 TimePoint) (instance ?P2 TimePoint) (temporalPart ?P1 ?TI1) (temporalPart ?P2 ?TI2)) (before ?P1 ?P2))	Merge.kif 8183-8190	earlier TimeInterval and TimeInterval instance TimePoint and TimePoint instance TimePoint and TimePoint temporalPart TimePoint and TimeInterval temporalPart TimePoint and TimeInterval before TimePoint and TimePoint
(=> (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	governmentType Agent and Monarchy instance Entity and Human instance Entity and Human holdsDuring TimeInterval and chiefOfState Agent, entity and Entity holdsDuring TimeInterval and chiefOfState Agent, entity and Entity earlier TimeInterval and TimeInterval confersNorm relative Entity and Entity, chiefOfState Agent, entity and Entity and Legal
(=> (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	holdsDuring TimeInterval and desires Agent and attribute Entity and Dead instance AgentURDER and Murder agent AgentURDER and Agent patient AgentURDER and Entity earlier TimeInterval and WhenFn AgentURDER attribute AgentURDER and Premeditated
(=> (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	instance Object and Antidiuretic instance Motion and Ingesting agent Motion and Agent moves Motion and Object instance TimeInterval and Urination result TimeInterval and Entity agent TimeInterval and Agent instance TimeInterval and Urination equal TimeInterval and TimeInterval result TimeInterval and Entity agent TimeInterval and Agent earlier TimeInterval and Motion earlier Motion and TimeInterval instance UnitOfMeasure and VolumeMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (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	instance Object and Diuretic instance Motion and Ingesting agent Motion and Agent moves Motion and Object instance TimeInterval and Urination result TimeInterval and Entity agent TimeInterval and Agent instance TimeInterval and Urination result TimeInterval and Entity agent TimeInterval and Agent earlier TimeInterval and Motion earlier Motion and TimeInterval instance UnitOfMeasure and VolumeMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (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	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval experiencer Process and Agent result Process and Entity
(=> (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	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval result Process and Entity experiencer Process and Agent
(=> (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	instance Transfer and Ingesting experiencer Transfer and Agent objectTransferred Transfer and Object instance Object and MoodStabilizer instance Process and ProcessC involvedInEvent Process and Agent holdsDuring WhenFn Process and attribute Agent and ProcessS instance ProcessS and EmotionalState instance Process and ProcessC involvedInEvent Process and Agent earlier WhenFn Process and WhenFn Transfer modalAttribute holdsDuring Process and attribute Agent and ProcessS and Unlikely
(=> (earlier ?INTERVAL1 ?INTERVAL2) (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))	Merge.kif 8280-8282	earlier TimeInterval and TimeInterval before EndFn TimeInterval and BeginFn TimeInterval

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	attribute UserAccount and TwoFactorAuthentication loggedInDuring Agent, UserAccount and TimeInterval TimeIntervalF instance TimeIntervalF and TwoFactorLoggingIn agent TimeIntervalF and Agent accountUsed TimeIntervalF and UserAccount earlier WhenFn TimeIntervalF and TimeInterval
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 598-603	commemoratesDate Holiday and DayFn PositiveInteger and MonthFn Month and YearFn Integer instance TimeInterval and Holiday instance TimeInterval and YearFn Integer earlier TimeInterval and TimeInterval
(=> (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	firstTimeBuyers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Buying agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite earlier WhenFn FinancialTransaction and TimeInterval
(=> (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	firstTimeSellers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Selling agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite earlier WhenFn FinancialTransaction and TimeInterval
(=> (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	holdsDuring TimeInterval and attribute entity and DislocatedCivilian inhabits entity and entity located entity and GeographicArea instance GeographicArea and GeographicArea instance TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES instance TimeInterval and TimeInterval earlier TimeInterval and TimeInterval instance entity-RES and Object instance entity-PLACE and GeopoliticalArea located entity-RES and entity-PLACE equal GeographicArea and entity-PLACE equal entity and entity-RES geographicSubregion GeographicArea and entity-PLACE geographicSubregion entity-PLACE and GeographicArea holdsDuring TimeInterval and inhabits entity and entity-RES
(=> (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	holdsDuring TimeInterval and attribute Agent and Evacuee instance TimeInterval and TimeInterval Process Agent instance Process and Evacuation agent Process and Agent instance Agent and MilitaryOrganization experiencer Process and Agent earlier WhenFn Process and TimeInterval
(=> (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	holdsDuring TimeInterval and attribute entity and InternallyDisplacedPerson instance TimeInterval and TimeInterval entity earlier TimeInterval and TimeInterval causesProposition holdsDuring TimeInterval and fears entity and entity and holdsDuring TimeInterval and attribute entity and InternallyDisplacedPerson
(=> (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	holdsDuring TimeInterval and spouse Entity and Entity instance TimeInterval and TimeInterval Process instance Process and Wedding patient Process and Entity patient Process and Entity earlier WhenFn Process and TimeInterval
(=> (and (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1)) (successorAttributeClosure ?ATTR2 ?ATTR1)) (exists (?TIME2) (and (earlier ?TIME2 ?TIME1) (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2)))))	Merge.kif 14069-14076	holdsDuring TimeInterval and developmentalForm entity and Attribute successorAttributeClosure Attribute and Attribute TimeInterval earlier TimeInterval and TimeInterval holdsDuring TimeInterval and developmentalForm entity and Attribute
(=> (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	instance Transfer and Bequeathing agent Transfer and Agent destination Transfer and Entity objectTransferred Transfer and AgentROP Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Transfer holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and AgentROP confersNorm Agent, possesses Entity and AgentROP and Permission
(=> (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	instance Process and Birth origin Process and Object Entity TimeInterval instance Entity and Zygote earlier TimeInterval and WhenFn Process holdsDuring TimeInterval and located Entity and Object
(=> (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	instance Process and Bodybuilding agent Process and Agent Process instance Process and Weightlifting agent Process and Agent earlier WhenFn Process and WhenFn Process
(=> (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	instance ComputerProcess and ComputerBackingUp dataProcessed ComputerProcess and DigitalData instance DigitalData and DigitalData agent ComputerProcess and CognitiveAgent desires CognitiveAgent and entity earlier WhenFn ComputerProcess and entity holdsDuring entity and entity instance entity and ComputerProcess capability entity, dataProcessed and DigitalData
(=> (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	instance TimeInterval and Confirming agent TimeInterval and Agent containsInformation TimeInterval and Proposition TimeInterval ContentBearingPhysical and Agent instance TimeInterval and Stating earlier TimeInterval and TimeInterval instance ContentBearingPhysical and ReachingAgreement agent TimeInterval and Agent containsInformation ContentBearingPhysical and Proposition containsInformation TimeInterval and Proposition partyToAgreement ContentBearingPhysical and Agent partyToAgreement ContentBearingPhysical and Agent
(=> (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	instance TimeInterval and DayFn PositiveInteger and MonthFn Month and YearFn Integer instance TimeInterval and DayFn PositiveInteger and MonthFn Month and YearFn Integer greaterThan PositiveInteger and PositiveInteger earlier TimeInterval and TimeInterval
(=> (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	instance Process and DismantlingWeaponOfMassDestruction patient Process and Entity Process instance Process and DevelopingWeaponOfMassDestruction result Process and Entity earlier WhenFn Process and WhenFn Process
(=> (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	instance Process and Matriculation agent Process and Agent patient Process and Entity instance Agent and College Process Agent instance Process and Graduation agent Process and Agent patient Process and Entity instance Agent and SecondarySchool earlier WhenFn Process and WhenFn Process
(=> (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	instance Process and Matriculation agent Process and Agent patient Process and Entity instance Agent and College Process Agent instance Process and Graduation agent Process and Agent patient Process and Entity instance Agent and HighSchool earlier WhenFn Process and WhenFn Process
(=> (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	instance Process and Impacting patient Process and Entity Process instance Process and Impelling patient Process and Entity earlier WhenFn Process and WhenFn Process
(=> (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	instance Confining and Imprisoning detainee Confining and Animal instance Animal and Human time Confining and TimeInterval instance TimeInterval and TimeInterval PlacingUnderArrest TimeInterval instance TimeInterval and TimeInterval time PlacingUnderArrest and TimeInterval earlier TimeInterval and TimeInterval instance PlacingUnderArrest and PlacingUnderArrest arrested PlacingUnderArrest and Animal
(=> (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	instance Process and Inheriting agent Process and CognitiveAgent origin Process and Agent patient Process and Entity Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Process holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and Entity confersRight possesses CognitiveAgent and Entity, Agent and CognitiveAgent
(=> (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	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Buying agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewBuyersFn TimeInterval and WebSite and Collection
(=> (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	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Physical instance Physical and Human TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and registeredUser Physical and WebSite TimeInterval_DURING instance TimeInterval_DURING and TimeInterval during TimeInterval_DURING and TimeInterval holdsDuring TimeInterval and registeredUser Physical and WebSite member Physical and Collection equal Collection and SiteWideNewRegistrationsFn TimeInterval and WebSite
(=> (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	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Selling agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewSellersFn TimeInterval and WebSite and Collection
(=> (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	instance Process and Hiring instance CognitiveAgent and Organization agent Process and CognitiveAgent patient Process and Entity expects CognitiveAgent and entity instance entity and FinancialTransaction agent entity and CognitiveAgent destination entity and Entity earlier WhenFn Process and WhenFn entity

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)

KB Term:			Term intersection

English Word: