lessThan |
appearance as argument number 1 |
(documentation lessThan ChineseLanguage "(lessThan ?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。") | chinese_format.kif 1729-1730 | |
(documentation lessThan EnglishLanguage "(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2.") | Merge.kif 1839-1840 | |
(documentation lessThan JapaneseLanguage "(lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。") | japanese_format.kif 337-338 | |
(domain lessThan 1 RealNumber) | Merge.kif 1836-1836 | Die Zahl 1 Argument von kleinerAls ist ein fall von RealNumber %n{nicht} |
(domain lessThan 2 RealNumber) | Merge.kif 1837-1837 | Die Zahl 2 Argument von kleinerAls ist ein fall von RealNumber %n{nicht} |
(instance lessThan BinaryPredicate) | Merge.kif 1831-1831 | kleinerAls ist ein fall von BinaryPredicate %n{nicht} |
(instance lessThan IrreflexiveRelation) | Merge.kif 1833-1833 | kleinerAls ist ein fall von IrreflexiveRelation %n{nicht} |
(instance lessThan RelationExtendedToQuantities) | Merge.kif 1834-1834 | kleinerAls ist ein fall von RelationExtendedToQuantities %n{nicht} |
(instance lessThan TransitiveRelation) | Merge.kif 1832-1832 | kleinerAls ist ein fall von TransitiveRelation %n{nicht} |
(trichotomizingOn lessThan RealNumber) | Merge.kif 1835-1835 | kleinerAls ist eine trichotomizierung auf RealNumber %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage lessThan "%1 %n 是 lessThan %2") | chinese_format.kif 141-141 | |
(format EnglishLanguage lessThan "%1 is %n less than %2") | english_format.kif 142-142 | |
(format FrenchLanguage lessThan "%1 est %n moins que %2") | french_format.kif 92-92 | |
(format ItalianLanguage lessThan "%1 è %n meno di%2") | relations-it.txt 163-163 | |
(format JapaneseLanguage lessThan "%1 は %2 より less では %n") | japanese_format.kif 1919-1919 | |
(format PortugueseLanguage lessThan "%1 e' %n menos que %2") | portuguese_format.kif 44-44 | |
(format cz lessThan "%1 %p{je} %n{nen�} men�� ne� %2") | relations-cz.txt 76-76 | |
(format de lessThan "%1 ist kleinerAls %2 %n{nicht}") | relations-de.txt 172-172 | |
(format hi lessThan "%1 %2 se kama %n hai") | relations-hindi.txt 202-202 | |
(format ro lessThan "%1 %n{nu} este less%t{mai mic} decât %2") | relations-ro.kif 111-111 | |
(format sv lessThan "%1 är %n{inte} mindre än %2") | relations-sv.txt 91-91 | |
(format tg lessThan "%1 %n ay meno ng %2") | relations-tg.txt 325-325 | |
(inverse greaterThan lessThan) | Merge.kif 1850-1850 | groesserAls ist eine inverse von kleinerAls %n{nicht} |
(termFormat ChineseLanguage lessThan "少于") | chinese_format.kif 142-142 | |
(termFormat ChineseTraditionalLanguage lessThan "少於") | domainEnglishFormat.kif 34144-34144 | |
(termFormat EnglishLanguage lessThan "less than") | domainEnglishFormat.kif 34143-34143 | |
(termFormat de lessThan "kleinerAls") | terms-de.txt 52-52 | |
(termFormat tg lessThan "meno ng") | relations-tg.txt 326-326 |
antecedent |
consequent |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 238-264 | Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 | RealNumber ist ein fall von NegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist kleinerAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} |
(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1867-1871 | RealNumber ist kleinerAlsOderGleich ** RealNumber %n{nicht} genau dann wenn ** RealNumber ist gleich ** ** RealNumber %n{nicht} oder ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} |
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Female) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 12)) |
Medicine.kif 172-187 |
|
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Male) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 13)) |
Medicine.kif 155-170 |
|
(=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (lessThan ?T 1)))) |
Mid-level-ontology.kif 18728-18737 |
|
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 2) (lessThan ?T 3)))) |
Mid-level-ontology.kif 18743-18753 |
|
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 3) (lessThan ?T 4)))) |
Mid-level-ontology.kif 18759-18769 |
|
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 1) (lessThan ?T 2)))) |
Mid-level-ontology.kif 18775-18785 |
|
(=> (and (conditionalProbability (attribute ?X ComfortFood) (attribute ?X HeartHealthyFood) ?NUMBER1) (conditionalProbability (attribute ?X ComfortFood) (not (attribute ?X HeartHealthyFood)) ?NUMBER2)) (lessThan ?NUMBER1 ?NUMBER2)) |
Dining.kif 1148-1156 |
|
(=> (and (decreasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2623-2628 |
|
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely)) |
Mid-level-ontology.kif 13577-13586 |
|
(=> (and (defaultMinimumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13505-13514 |
|
(=> (and (defaultMinimumMeasure ?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) (lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13516-13527 |
|
(=> (and (defaultMinimumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (lessThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 13467-13477 |
|
(=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?LESS) (and (lessThan ?LESS ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?LESS ?ELEMENT) 0))))))) |
Merge.kif 4958-4972 |
|
(=> (and (instance ?A AcuteAngle) (angularMeasure ?A ?N)) (lessThan ?N 90.0)) |
Mid-level-ontology.kif 4868-4872 |
|
(=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 |
|
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (lessThan ?LENGTH 914)))) |
Transportation.kif 1391-1400 |
|
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1940-1954 |
|
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3)) |
Weather.kif 892-898 |
|
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3)))) |
Weather.kif 882-890 |
|
(=> (and (instance ?BOTTLE Bottle) (bottom ?BOTTOM ?BOTTLE) (top ?TOP ?BOTTLE) (instance ?U UnitOfLength) (width ?BOTTOM (MeasureFn ?WIDTH1 ?U)) (width ?TOP (MeasureFn ?WIDTH2 ?U))) (lessThan ?WIDTH2 ?WIDTH1)) |
Mid-level-ontology.kif 4698-4708 |
|
(=> (and (instance ?COOL Cooling) (patient ?COOL ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (instance ?UNIT TemperatureMeasure) (holdsDuring (BeginFn (WhenFn ?COOL)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (EndFn (WhenFn ?COOL)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10961-10974 |
|
(=> (and (instance ?CPR CPR) (instance ?C Compressing) (path ?C ?P) (subProcess ?C ?CPR) (length ?P (MeasureFn ?L Centimeter))) (and (greaterThan ?L 5.0) (lessThan ?L 6.0))) |
Medicine.kif 620-630 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))) |
Merge.kif 6099-6106 | Es gibt nicht GraphPath und ** GraphPath um ** GraphPath ist ein fall von die menge von Pfaden die Graph in zwei verschiedene Graphen schnitten %n{nicht} und ** ** GraphPath ist ein fall von die menge von minimalen Pfaden die ** Graph in zwei verschiedene Graphen schnitten %n{nicht} und die laenge von ** GraphPath ist PositiveInteger %n{nicht} und die laenge von ** ** GraphPath ist ** PositiveInteger %n{nicht} und ** PositiveInteger ist kleinerAls ** ** PositiveInteger %n{nicht} |