|
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44)) |
Transportation.kif 403-409 | |
| (=> (and (instance ?S Shortening) (patient ?S ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?S)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L1 ?L2)))) |
Mid-level-ontology.kif 18635-18650 | |
| (=> (and (instance ?S Spaghetti) (instance ?L Linguine) (instance ?U UnitOfLength) (width ?S (MeasureFn ?W1 ?U)) (width ?L (MeasureFn ?W2 ?U))) (greaterThan ?W2 ?W1)) |
Food.kif 2639-2648 | |
| (=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4182-4190 | |
| (=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2)) |
Cars.kif 1971-1983 | |
| (=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (hasPurpose ?SEO (exists (?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2) (and (instance ?SRPRESULT_BEFORE SRPResults) (instance ?SRPRESULT_AFTER SRPResults) (equal ?PAGE (ListOrderFn ?SRPRESULT_BEFORE ?BEFORE)) (equal ?PAGE (ListOrderFn ?SRPRESULT_AFTER ?AFTER)) (instance ?BM1 BestMatchAlgorithm) (instance ?BM2 BestMatchAlgorithm) (earlier (WhenFn ?BM1) (WhenFn ?BM2)) (earlier (WhenFn ?SEO) (WhenFn ?BM2)) (earlier (WhenFn ?BM1) (WhenFn ?SEO)) (greaterThan ?BEFORE ?AFTER))))) |
UXExperimentalTerms.kif 2388-2404 | |
| (=> (and (instance ?SF SpeakingAtAFasterRate) (instance ?SS SpeakingAtASlowerRate) (instance ?U UnitOfDuration) (agent ?SF ?A) (agent ?SS ?A) (containsInformation ?SF ?I) (containsInformation ?SS ?I) (duration (WhenFn ?SF) (MeasureFn ?FAST ?U)) (duration (WhenFn ?SS) (MeasureFn ?SLOW ?U))) (greaterThan ?FAST ?SLOW)) |
emotion.kif 2016-2029 | |
| (=> (and (instance ?SS SpeakingAShortUtterance) (instance ?SL SpeakingALongUtterance) (instance ?U UnitOfDuration) (duration (WhenFn ?SS) (MeasureFn ?D1 ?U)) (duration (WhenFn ?SL) (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1)) |
emotion.kif 2102-2111 | |
| (=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE)))) |
CountriesAndRegions.kif 897-901 | |
| (=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (greaterThan ?Y ?X)) |
Geography.kif 7234-7248 | |
| (=> (and (instance ?SW BrackishWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 0.5) (lessThanOrEqualTo ?R 30.0))) |
Geography.kif 2843-2854 | |
| (=> (and (instance ?SYSTEM HighPressureWeatherSystem) (eventLocated ?SYSTEM ?AREA)) (and (barometricPressure ?AREA (MeasureFn ?AMOUNT InchMercury)) (greaterThan ?AMOUNT 30.2))) |
Weather.kif 786-792 | |
| (=> (and (instance ?T Bradycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan 50 ?N)) |
Medicine.kif 2848-2856 | |
| (=> (and (instance ?T Tachycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan ?N 100)) |
Medicine.kif 2820-2828 | |
| (=> (and (instance ?T Tornado) (instance ?EF EF5) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF))) (exists (?GUST) (and (greaterThan ?GUST 200.0) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 2707-2721 | |
| (=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0))))) |
Weather.kif 677-690 | |
| (=> (and (instance ?TREE BotanicalTree) (instance ?BUSH Shrub) (instance ?U UnitOfLength) (height ?TREE (MeasureFn ?TALL ?U)) (height ?BUSH (MeasureFn ?SHORT ?U))) (greaterThan ?TALL ?SHORT)) |
Geography.kif 6392-6401 | |
| (=> (and (instance ?U McgPerKg) (effectiveDose ?AGENT (MeasureFn ?NUMBER1 ?U)) (lethalDose ?AGENT (MeasureFn ?NUMBER2 ?U))) (greaterThan ?NUMBER2 ?NUMBER1)) |
WMD.kif 851-858 | |
| (=> (and (instance ?U UnitOfCurrency) (reservePrice ?AUCTION (MeasureFn ?AMOUNT ?U)) (destination ?AUCTION ?BUYER)) (exists (?OFFER ?ITEM) (and (bidPrice ?ITEM (MeasureFn ?OFFER ?U) ?BUYER) (greaterThan ?OFFER ?AMOUNT)))) |
UXExperimentalTerms.kif 415-423 | |
| (=> (and (instance ?W StrongWind) (eventLocated ?W ?A) (instance ?A GeographicArea) (surfaceWindSpeed ?A (MeasureFn ?X MilesPerHour))) (greaterThan ?X 58)) |
Weather.kif 1482-1489 | |
| (=> (and (instance ?W TapWater) (instance ?M Mixture) (part ?W ?M) (instance ?A Antifreeze) (part ?A ?M) (attribute ?M Solid) (measure ?M (MeasureFn ?D CelsiusDegree))) (greaterThan 32 ?D)) |
Cars.kif 1219-1228 | |
| (=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour)))))) |
Weather.kif 472-484 | |
| (=> (and (instance ?WALK Walking) (instance ?RUN Running) (agent ?WALK ?AGENT) (agent ?RUN ?AGENT) (holdsDuring (WhenFn ?WALK) (measure ?AGENT (SpeedFn ?LENGTH1 ?TIME))) (holdsDuring (WhenFn ?RUN) (measure ?AGENT (SpeedFn ?LENGTH2 ?TIME)))) (greaterThan ?LENGTH2 ?LENGTH1)) |
Merge.kif 11281-11289 | |
| (=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 25844-25855 | |
| (=> (and (instance ?WF WarmFront) (instance ?W AirMass) (origin ?WF ?W) (airTemperature ?W (MeasureFn ?X CelsiusDegree)) (instance ?C AirMass) (path ?WF ?C) (airTemperature ?C (MeasureFn ?Y CelsiusDegree))) (greaterThan ?X ?Y)) |
Weather.kif 861-872 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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