greaterThan |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) | Geography.kif 4916-4916 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format ChineseLanguage greaterThan "%1 %n 是 greaterThan %2") | chinese_format.kif 111-111 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format EnglishLanguage greaterThan "%1 is %n greater than %2") | english_format.kif 111-111 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format FrenchLanguage greaterThan "%1 est %n plus grand que %2") | french_format.kif 77-77 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format ItalianLanguage greaterThan "%1 è %n più grande di %2") | relations-it.txt 121-121 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format JapaneseLanguage greaterThan "%1 は %2 より greater では %n") | japanese_format.kif 1904-1904 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format PortugueseLanguage greaterThan "%1 e' %n maior que %2") | portuguese_format.kif 29-29 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format cz greaterThan "%1 %p{je} %n{nen�} v�t�� ne� %2") | relations-cz.txt 77-77 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format de greaterThan "%1 ist groesserAls %2 %n{nicht}") | relations-de.txt 127-127 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format hi greaterThan "%1 %2 se badaa %n hai") | relations-hindi.txt 161-161 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format ro greaterThan "%1 %n{nu} este greater%t{mai mare} decât %2") | relations-ro.kif 96-96 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format sv greaterThan "%1 är %n{inte} större än %2") | relations-sv.txt 76-76 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(format tg greaterThan "%1 %n ay mas malaki sa %2") | relations-tg.txt 248-248 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(termFormat ChineseLanguage greaterThan "大于") | chinese_format.kif 112-112 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(termFormat ChineseLanguage greaterThan "比较多") | domainEnglishFormat.kif 26543-26543 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(termFormat ChineseTraditionalLanguage greaterThan "比較多") | domainEnglishFormat.kif 26542-26542 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(termFormat EnglishLanguage greaterThan "greater than") | domainEnglishFormat.kif 26541-26541 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(termFormat de greaterThan "groesserAls") | terms-de.txt 37-37 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
(termFormat tg greaterThan "mas malaki sa") | relations-tg.txt 249-249 | 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起 |
antecedent |
![]() |
consequent |
![]() |
(<=> (attribute ?WATER OpenSea) (exists (?LAND ?DIST) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5.0)))) |
Geography.kif 4951-4960 | 公海 是 客体 的 attribute 若且唯若 有存在 物理 和 实数 这样 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 那个 物理 和 那个 客体 的 distance 是 那个 实数 海里 和 那个 实数 是 greaterThan 5.0 |
(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2 ?LASTPLACE) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE))))) |
People.kif 272-293 | 实数 是 串列 的 average 若且唯若 有存在 另一个 串列 和 正整数 这样 equal 那个 另外 串列 的长度 and 那个 串列 的长度 和 equal 那个 另外 串列 的第 1 几个元素 and 那个 串列 的第 1 几个元素 和 对所有 另一个 正整数
|
(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 | 实数 是 正实数 的 instance 若且唯若 那个 实数 是 greaterThan 0 和 那个 实数 是 实数 的 instance |
(<=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2 ?UNIT) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 ?UNIT)) (measure ?OBJ2 (MeasureFn ?QUANT2 ?UNIT)) (instance ?UNIT UnitOfLength)) (greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7843-7851 | 客体 larger 另一个 客体 若且唯若 对所有 实数, 另一个 实数, and 和 测量单位 |
(=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1912-1917 | |
(=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 1924-1929 | |
(=> (and (attribute ?FOOD1 FamilyStylePortion) (measure ?FOOD1 (MeasureFn ?MEAS1 ?U)) (not (attribute ?FOOD2 FamilyStylePortion)) (measure ?FOOD2 (MeasureFn ?MEAS2 ?U)) (instance ?FOOD1 ?CLASS) (instance ?FOOD2 ?CLASS) (instance ?U UnitOfMeasure)) (greaterThan ?MEAS1 ?MEAS2)) |
Dining.kif 1165-1176 | |
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 |
|
(=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely)) |
Medicine.kif 3987-4007 |
|
(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1194-1209 |
|
(=> (and (attribute ?W Windy) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 20.0)) |
Merge.kif 11414-11422 | |
(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 25883-25893 | |
(=> (and (capitalExpendituresOfAreaInPeriod ?AREA (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD) (annualExpendituresOfAreaInPeriod ?AREA (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD)) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1663-1669 | |
(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP)) |
Geography.kif 1686-1694 | |
(=> (and (climateTypeInArea ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA (MeasureFn ?TEMP CelsiusDegree)))) (holdsDuring ?TIME (greaterThan 10.0 ?TEMP))) |
Geography.kif 1761-1767 | |
(=> (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 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2)) |
Cars.kif 809-825 |
|
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely)) |
Merge.kif 18633-18638 | |
(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 14875-14884 | |
(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT1)) (subclass ?UNITCLASS NonCompositeUnitOfMeasure) (instance ?UNIT1 ?UNITCLASS)) (modalAttribute (exists (?INST ?QUANTITY ?UNIT2) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT2)) (instance ?UNIT2 ?UNITCLASS) (greaterThan (MeasureFn ?QUANTITY ?UNIT2) (MeasureFn ?Q ?UNIT1)))) Unlikely)) |
Mid-level-ontology.kif 14886-14897 |
|
(=> (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (greaterThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 14825-14836 | |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely)) |
Mid-level-ontology.kif 14905-14914 | |
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely)) |
Merge.kif 18616-18621 | |
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2569-2587 |
|
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0))))))) |
Merge.kif 4902-4916 | |
(=> (and (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (subOrganization ?DEP2 ?COMP) (not (equal ?DEP ?DEP2)) (instance ?I ?PHYS) (inScopeOfInterest ?DEP ?I) (equal ?P1 (ProbabilityFn (agent ?P ?DEP))) (equal ?P2 (ProbabilityFn (agent ?P ?DEP2)))) (greaterThan ?P1 ?P2)) |
Mid-level-ontology.kif 19914-19929 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |