| appearance as argument number 1 |
|
| (documentation during ChineseLanguage "(during ?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先 结束。") | Merge.kif 8379-8380 | |
| (documentation during EnglishLanguage "(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.") | Merge.kif 8377-8378 | |
| (domain during 1 TimeInterval) | Merge.kif 8375-8375 | |
| (domain during 2 TimeInterval) | Merge.kif 8376-8376 | |
| (instance during IrreflexiveRelation) | Merge.kif 8373-8373 | |
| (instance during TransitiveRelation) | Merge.kif 8372-8372 | |
| (subrelation during temporalPart) | Merge.kif 8371-8371 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage during "%1 %n{doesn't} 在 %2 时段内发生") | chinese_format.kif 433-433 | |
| (format EnglishLanguage during "%1 %n{doesn't} take%p{s} place during %2") | english_format.kif 262-262 | |
| (format FrenchLanguage during "%1 %n{ne} prend %n{pas} place pendant %2") | french_format.kif 251-251 | |
| (format ItalianLanguage during "%1 %n{non} ha%p{s} luogodurante %2") | relations-it.txt 86-86 | |
| (format PortugueseLanguage during "%1 %n{nao} %n acontece durante %2") | portuguese_format.kif 203-203 | |
| (format ar during "%1 %n{لا}يَحْدُث خِلالَ %2") | arabic_format.kif 185-185 | |
| (format cz during "%1 %n{doesn't} take%p{s} place during %2") | relations-cz.txt 257-257 | |
| (format de during "%1 geschieht waehrend %2 %n{nicht}") | relations-de.txt 565-565 | |
| (format hi during "%1 %2 ke dauraana ghaTita %n{nahiin} hotaa hai") | relations-hindi.txt 126-126 | |
| (format tg during "%1 %n nagaanap habang %2") | relations-cb.txt 120-120 | |
| (termFormat ChineseLanguage during "在这时间内") | chinese_format.kif 434-434 | |
| (termFormat EnglishLanguage during "during") | domainEnglishFormat.kif 3870-3870 | |
| (termFormat ar during "«يَحْدُث خِلالَ»") | arabic_format.kif 635-635 | |
| (termFormat tg during "sa panahon ng") | relations-tg.txt 188-188 |
| antecedent |
|
|
| (=> (and (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?D) (before ?D ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (before ?WU ?SUHUR) (during ?WU ?DAY) (during ?SUHUR ?DAY))))) |
ArabicCulture.kif 57-75 | |
| (=> (and (dampingRatio ?P ?R) (greaterThan ?R 0) (instance ?T Tremor) (patient ?T ?P) (holdsDuring ?T1 (physicalAmplitude ?T ?A1)) (holdsDuring ?T2 (physicalAmplitude ?T ?A2)) (during ?T1 ?T) (during ?T2 ?T) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2)) |
Cars.kif 843-856 | |
| (=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely)) |
Mid-level-ontology.kif 28357-28378 | |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y)) |
Media.kif 437-444 | |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y)) |
Media.kif 446-453 | |
| (=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 8859-8866 | |
| (=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1704-1726 | |
| (=> (and (instance ?STUDENT Student) (instance ?SCHOOL School) (attends ?STUDENT ?SCHOOL) (instance ?GRADUATE Graduation) (exists (?YEAR ?TIMEINTERVAL1) (and (instance ?YEAR Year) (time ?TIMEINTERVAL1 ?GRADUATE) (agent ?GRADUATE ?SCHOOL) (patient ?GRADUATE ?STUDENT) (during ?TIMEINTERVAL1 ?YEAR)))) (expectedYearOfGraduation ?STUDENT (YearFn ?YEAR))) |
LinkedInDegrees.kif 447-460 | |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR)) |
Media.kif 387-394 | |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR)) |
Media.kif 396-403 | |
| (=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?QUALIFYING_PURCHASES)))) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))) |
UXExperimentalTerms.kif 3865-3900 | |
| (=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?A AscensionThursday) (during ?E ?Y) (during ?A ?Y) (starts ?E ?I) (finishes ?A ?I)) (duration ?I (MeasureFn 40 DayDuration))) |
Media.kif 538-547 | |
| (=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P PalmSunday) (during ?E ?Y) (during ?P ?Y) (starts ?P ?I) (finishes ?E ?I)) (duration ?I (MeasureFn 8 DayDuration))) |
Media.kif 473-482 | |
| (=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P Pentecost) (during ?E ?Y) (during ?P ?Y) (starts ?E ?I) (finishes ?P ?I)) (duration ?I (MeasureFn 50 DayDuration))) |
Media.kif 559-568 | |
| (=> (and (standardRetailHours ?TIMEINT ?AGENT) (potentialCustomer ?C ?AGENT) (instance ?P IntentionalProcess) (destination ?P ?C) (instance ?START (StartFn ?P)) (conditionalProbability (during (WhenFn ?START) ?TIMEINT) (agent ?P ?AGENT) ?NUMBER1) (conditionalProbability (not (during (WhenFn ?START) ?TIMEINT)) (agent ?P ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Dining.kif 375-386 | |
| (=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 1137-1153 | |
| (=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 1155-1172 | |
| (=> (during ?INTERVAL1 ?INTERVAL2) (and (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)) (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)))) |
Merge.kif 8382-8386 |
| consequent |
|
|
| (<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 104-117 | |
| (<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 138-151 | |
| (<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 253-277 | |
| (<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 411-442 | |
| (<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 323-353 | |
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 367-398 | |
| (<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P))))) |
Mid-level-ontology.kif 27977-27985 | |
| (=> (and (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?D) (before ?D ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (before ?WU ?SUHUR) (during ?WU ?DAY) (during ?SUHUR ?DAY))))) |
ArabicCulture.kif 57-75 | |
| (=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T ?C) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 193-210 | |
| (=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (during (WhenFn ?BUYING) ?INTE)))) |
UXExperimentalTerms.kif 3731-3740 | |
| (=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (during (WhenFn ?SELLING) ?INTE)))) |
UXExperimentalTerms.kif 3779-3788 | |
| (=> (and (holdsDuring ?T (attribute ?A ?ES)) (actionTendency ?ES ?P)) (modalAttribute (exists (?PI) (and (instance ?P ?PI) (during ?PI ?T) (experiencer ?PI ?A))) Likely)) |
emotion.kif 161-172 | |
| (=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2594-2610 | |
| (=> (and (instance ?A Agent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 27949-27960 | |
| (=> (and (instance ?C CavalryUnit) (instance ?B Battle) (agent ?B ?C)) (exists (?P ?V ?T) (and (attribute ?P Soldier) (member ?P ?C) (instance ?T Transportation) (agent ?T ?P) (instance ?V Vehicle) (patient ?T ?V) (during ?T ?B)))) |
Mid-level-ontology.kif 8099-8112 | |
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (holdsDuring (WhenFn ?EC) (maxCylinderVolume ?E ?V1))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC ?V2)) (greaterThan ?V2 ?V1))))) |
Cars.kif 1931-1947 | |
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (holdsDuring (WhenFn ?EC) (minCylinderVolume ?E ?V1))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC ?V2)) (greaterThan ?V1 ?V2))))) |
Cars.kif 1904-1920 | |
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E ?LM)) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 ?D) (greaterThan ?D ?LM))))) |
Cars.kif 1973-1992 | |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y)) |
Media.kif 437-444 | |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y)) |
Media.kif 446-453 | |
| (=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT)) (during (WhenFn ?PURCHASE) ?INTERVAL)))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (during (WhenFn ?ACCESSING) ?INTERVAL) (agent ?ACCESSING ?USER))))) (PPIFn ?EXPERIMENT ?INTERVAL))) |
UXExperimentalTerms.kif 3300-3319 | |
| (=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (instance ?BEFORE TimeInterval) (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 3571-3604 | |
| (=> (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 ?INSTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE))))) |
UXExperimentalTerms.kif 3624-3651 | |
| (=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (instance ?BEFORE TimeInterval) (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 3671-3704 | |
| (=> (and (instance ?M GuidedMissile) (instance ?FLYING Flying) (patient ?FLYING ?M)) (exists (?GUIDING) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?FLYING) (agent ?GUIDING ?M) (during (WhenFn ?GUIDING) (WhenFn ?FLYING))))) |
MilitaryDevices.kif 1050-1062 | |
| 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