greaterThan |
appearance as argument number 1 |
appearance as argument number 2 |
(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) | Geography.kif 4676-4676 | comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates |
(format ChineseLanguage greaterThan "%1 %n 是 greaterThan %2") | chinese_format.kif 111-111 | |
(format EnglishLanguage greaterThan "%1 is %n greater than %2") | english_format.kif 111-111 | |
(format FrenchLanguage greaterThan "%1 est %n plus grand que %2") | french_format.kif 77-77 | |
(format ItalianLanguage greaterThan "%1 è %n più grande di %2") | relations-it.txt 121-121 | |
(format JapaneseLanguage greaterThan "%1 は %2 より greater では %n") | japanese_format.kif 1904-1904 | |
(format PortugueseLanguage greaterThan "%1 e' %n maior que %2") | portuguese_format.kif 29-29 | |
(format cz greaterThan "%1 %p{je} %n{nen�} v�t�� ne� %2") | relations-cz.txt 77-77 | |
(format de greaterThan "%1 ist groesserAls %2 %n{nicht}") | relations-de.txt 127-127 | |
(format hi greaterThan "%1 %2 se badaa %n hai") | relations-hindi.txt 161-161 | |
(format ro greaterThan "%1 %n{nu} este greater%t{mai mare} decât %2") | relations-ro.kif 96-96 | |
(format sv greaterThan "%1 är %n{inte} större än %2") | relations-sv.txt 76-76 | |
(format tg greaterThan "%1 %n ay mas malaki sa %2") | relations-tg.txt 248-248 | |
(termFormat ChineseLanguage greaterThan "大于") | chinese_format.kif 112-112 | |
(termFormat ChineseLanguage greaterThan "比较多") | domainEnglishFormat.kif 26532-26532 | |
(termFormat ChineseTraditionalLanguage greaterThan "比較多") | domainEnglishFormat.kif 26531-26531 | |
(termFormat EnglishLanguage greaterThan "greater than") | domainEnglishFormat.kif 26530-26530 | |
(termFormat de greaterThan "groesserAls") | terms-de.txt 37-37 | |
(termFormat tg greaterThan "mas malaki sa") | relations-tg.txt 249-249 |
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 4711-4720 | OpenSea は オブジェクト の attribute では %n 物理 実数 オブジェクト は 塩水地域 の instance では %n オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では %n 実数 は 5.0 より greater では %n |
(<=> (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 リスト and 実数 リスト 正の整数 リスト の length は リスト の length と equal では %n リスト の 1th element は リスト の 1th element と equal では %n 正の整数
|
(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1885-1889 | 実数 は 実数 greater では %n 実数 は 実数 と equal では %n 実数 は 実数 より greater では %n |
(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1937-1941 | 実数 は 正の実数 の instance では %n 実数 は 0 より greater では %n 実数 は 実数 の instance では %n |
(<=> (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 7758-7766 | オブジェクト は オブジェクト よりも larger %n 実数 実数 and 測定単位 |
(=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1754-1759 | |
(=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 1766-1771 | |
(=> (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 3984-4004 |
|
(=> (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 1186-1201 |
|
(=> (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 24236-24246 | |
(=> (and (capitalExpendituresOfAreaInPeriod ?AREA (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD) (annualExpendituresOfAreaInPeriod ?AREA (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD)) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) |
Economy.kif 1538-1544 | |
(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP)) |
Geography.kif 1522-1530 |
|
(=> (and (climateTypeInArea ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA (MeasureFn ?TEMP CelsiusDegree)))) (holdsDuring ?TIME (greaterThan 10.0 ?TEMP))) |
Geography.kif 1597-1603 |
|
(=> (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 |
|
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely)) |
Merge.kif 18446-18451 | |
(=> (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 13536-13545 | |
(=> (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 13547-13558 |
|
(=> (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 13486-13497 | |
(=> (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 13566-13575 | |
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely)) |
Merge.kif 18429-18434 | |
(=> (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 2585-2603 |
|
(=> (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 4874-4888 | |
(=> (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 18343-18358 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |