|
| (=> (instance ?F Flickering) (exists (?T1 ?T2 ?N1 ?N2) (and (during ?T1 (WhenFn ?F)) (holdsDuring ?T1 (measure ?F (MeasureFn ?N1 Lumen))) (during ?T2 (WhenFn ?F)) (holdsDuring ?T2 (measure ?F (MeasureFn ?N2 Lumen))) (not (equal ?T1 ?T2)) (not (equal ?N1 ?N2))))) |
ComputingBrands.kif 3519-3530 | |
| (=> (instance ?G Gutrah) (hasPurpose ?G (=> (exists (?S ?T ?H ?AREA) (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (hotSeasonInArea ?AREA ?S))) (during ?T ?S)))) |
ArabicCulture.kif 376-387 | |
| (=> (instance ?G Shimagh) (hasPurpose ?G (=> (exists (?S ?T ?H ?AREA) (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (coldSeasonInArea ?AREA ?S))) (during ?T ?S)))) |
ArabicCulture.kif 399-410 | |
| (=> (instance ?H Hajj) (exists (?D) (and (instance ?D DhuAlHijjah) (during ?H ?D)))) |
ArabicCulture.kif 127-132 | |
| (=> (instance ?T USThanksgivingDay) (exists (?M) (and (instance ?M November) (during ?T ?M)))) |
Media.kif 635-640 | |
| (=> (instance ?TIME BreakfastTime) (exists (?MORN) (and (instance ?MORN Morning) (during ?TIME ?MORN)))) |
Food.kif 1854-1859 | |
| (=> (instance ?TIME DinnerTime) (exists (?NIGHT) (and (instance ?NIGHT NightTime) (during ?TIME ?NIGHT)))) |
Food.kif 1884-1889 | |
| (=> (instance ?TIME LunchTime) (exists (?ELEVEN ?THREE ?DAY) (and (during ?TIME (TimeIntervalFn (BeginFn ?ELEVEN) (EndFn ?THREE))) (instance ?ELEVEN (HourFn 11 ?DAY)) (instance ?THREE (HourFn 15 ?DAY))))) |
Food.kif 1867-1876 | |
| (=> (instance ?UR UdhiyahRitual) (exists (?S ?EA ?P) (and (instance ?EA EidAladha) (during ?UR ?EA) (attribute ?S Udhiyah) (agent ?UR ?P) (attribute ?P Muslim) (patient ?UR ?S)))) |
ArabicCulture.kif 244-253 | |
| (=> (instance ?X Iftar) (exists (?R ?S ?D) (and (instance ?S Sunset) (instance ?R Ramadan) (instance ?D Day) (during ?D ?R) (during (WhenFn ?X) ?D) (during ?S ?D) (before ?S (WhenFn ?X))))) |
ArabicCulture.kif 91-101 | |
| (=> (instance ?X Suhur) (exists (?R ?S ?D) (and (instance ?S Sunrise) (instance ?R Ramadan) (instance ?D Day) (during ?D ?R) (during (WhenFn ?X) ?D) (during ?S ?D) (before (WhenFn ?X) ?S)))) |
ArabicCulture.kif 36-46 | |
| (=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (exists (?SEEING) (and (instance ?SEEING Seeing) (agent ?SEEING ?AGENT) (during (WhenFn ?SEEING) ?TIME) (located ?SEEING ?PLACE) (patient ?SEEING ?OBJ)))) |
Justice.kif 51-59 | |
| (=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN Collection) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 2826-2851 | |
| (=> (snowfallIntensity ?AREA ?TIME ?RATE) (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL) (and (instance ?PROCESS Snowing) (eventLocated ?PROCESS ?AREA) (during (WhenFn ?PROCESS) ?TIME) (instance ?STUFF Snow) (objectTransferred ?PROCESS ?STUFF) (instance ?BOARD BoardOrBlock) (bottom ?BOTTOM ?BOARD) (attribute ?BOTTOM Flat) (located ?BOARD ?AREA) (holdsDuring (BeginFn ?TIME) (not (exists (?X) (and (instance ?X Object) (located ?X ?BOARD))))) (holdsDuring (EndFn ?TIME) (and (located ?STUFF ?BOARD) (top ?TOP ?STUFF) (depth ?TOP ?BOTTOM ?SNOWFALL) (equal ?SNOWFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 3031-3058 | |
| (=> (standardRetailHours ?TIMEINT ?AGENT) (exists (?FT ?T ?C ?SRH ?NONSRH) (and (instance ?FT FinancialTransaction) (agent ?FT ?AGENT) (instance ?T ?TIMEINT) (destination ?FT ?C) (equal ?SRH (ProbabilityFn (and (during (WhenFn ?FT) ?T) (customer ?C ?AGENT)))) (equal ?NONSRH (ProbabilityFn (and (not (during (WhenFn ?FT) ?T)) (customer ?C ?AGENT)))) (greaterThan ?SRH ?NONSRH)))) |
Dining.kif 388-407 | |
| (=> (standardRetailHours ?TIMEINT ?AGENT) (exists (?S ?T ?C) (and (instance ?S Selling) (instance ?T ?TIMEINT) (agent ?S ?AGENT) (customer ?C ?AGENT) (during (WhenFn ?S) ?T)))) |
Dining.kif 373-382 |
|
|
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