Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lessThan
lessThan

appearance as argument number 1
-------------------------


s__documentation(s__lessThan__m,s__ChineseLanguage,'(lessThan ?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。')

Merge.kif 1891-1892
s__documentation(s__lessThan__m,s__EnglishLanguage,'(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2.')

Merge.kif 1889-1890
s__domain(s__lessThan__m,1,s__Quantity)

Merge.kif 1887-1887
s__domain(s__lessThan__m,2,s__Quantity)

Merge.kif 1888-1888
s__instance(s__lessThan__m,s__BinaryPredicate)

Merge.kif 1882-1882
s__instance(s__lessThan__m,s__IrreflexiveRelation)

Merge.kif 1884-1884
s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 1885-1885
s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 1883-1883
s__trichotomizingOn(s__lessThan__m,s__RealNumber)

Merge.kif 1886-1886

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__lessThan__m,'%1 %n 是 lessThan %2')

chinese_format.kif 141-141
s__format(s__EnglishLanguage,s__lessThan__m,'%1 is %n less than %2')

english_format.kif 97-97
s__format(s__FrenchLanguage,s__lessThan__m,'%1 est %n moins que %2')

french_format.kif 92-92
s__format(s__ItalianLanguage,s__lessThan__m,'%1 � %n meno di%2')

relations-it.txt 163-163
s__format(s__PortugueseLanguage,s__lessThan__m,'%1 e %n menos que %2')

portuguese_format.kif 44-44
s__format(s__ar__m,s__lessThan__m,'%1 هو %n أقَل من %2')

arabic_format.kif 42-42
s__format(s__cz__m,s__lessThan__m,'%1 %p{je} %n{nen�} men�� ne� %2')

relations-cz.txt 76-76
s__format(s__de__m,s__lessThan__m,'%1 ist kleinerAls %2 %n{nicht}')

relations-de.txt 172-172
s__format(s__hi__m,s__lessThan__m,'%1 %2 se kama %n hai')

relations-hindi.txt 202-202
s__format(s__tg__m,s__lessThan__m,'%1 %n ay meno ng %2')

relations-tg.txt 325-325
s__inverse(s__greaterThan__m,s__lessThan__m)

Merge.kif 1902-1902
s__termFormat(s__ChineseLanguage,s__lessThan__m,'少于')

chinese_format.kif 142-142
s__termFormat(s__EnglishLanguage,s__lessThan__m,'less than')

domainEnglishFormat.kif 6109-6109
s__termFormat(s__ar__m,s__lessThan__m,'«أقَل من»')

arabic_format.kif 492-492
s__termFormat(s__tg__m,s__lessThan__m,'meno ng')

relations-tg.txt 326-326

antecedent
-------------------------


( ! [V__LD,V__S] :
   ((s__instance(V__LD,s__LiquidDrop) &
       s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
     &
     s__lessThan(500,V__S))
<=>
s__instance(V__LD,s__Droplet))
)

Geography.kif 6905-6911
( ! [V__Option,V__Time] :
   ((? [V__Stock,V__StockPrice,V__StrikePrice] :
       (s__instance(V__Option,s__CallOption) &
         s__underlier(V__Option,V__Stock)
       &
       s__price(V__Stock,V__StockPrice,V__Time)
     &
     s__strikePrice(V__Option,V__StrikePrice)
   &
   s__lessThan(V__StockPrice,V__StrikePrice)))
<=>
s__outOfTheMoney(V__Option,V__Time))
)

FinancialOntology.kif 2965-2973
( ! [V__Option,V__Time] :
   ((? [V__Stock,V__StockPrice,V__StrikePrice] :
       (s__instance(V__Option,s__CallOption) &
         s__underlier(V__Option,V__Stock)
       &
       s__price(V__Stock,V__StockPrice,V__Time)
     &
     s__strikePrice(V__Option,V__StrikePrice)
   &
   s__lessThan(V__StrikePrice,V__StockPrice)))
<=>
s__inTheMoney(V__Option,V__Time))
)

FinancialOntology.kif 2922-2930
( ! [V__Option,V__Time] :
   ((? [V__Stock,V__StockPrice,V__StrikePrice] :
       (s__instance(V__Option,s__PutOption) &
         s__underlier(V__Option,V__Stock)
       &
       s__price(V__Stock,V__StockPrice,V__Time)
     &
     s__strikePrice(V__Option,V__StrikePrice)
   &
   s__lessThan(V__StockPrice,V__StrikePrice)))
<=>
s__inTheMoney(V__Option,V__Time))
)

FinancialOntology.kif 2932-2940
( ! [V__Option,V__Time] :
   ((? [V__Stock,V__StockPrice,V__StrikePrice] :
       (s__instance(V__Option,s__PutOption) &
         s__underlier(V__Option,V__Stock)
       &
       s__price(V__Stock,V__StockPrice,V__Time)
     &
     s__strikePrice(V__Option,V__StrikePrice)
   &
   s__lessThan(V__StrikePrice,V__StockPrice)))
<=>
s__outOfTheMoney(V__Option,V__Time))
)

FinancialOntology.kif 2975-2983
( ! [V__Account,V__Date,V__Balance,V__Overdraft] :
   ((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
     &
     s__lessThan(V__Balance,0)
   &
   (V__Overdraft = s__SubtractionFn(0,V__Balance)))
=>
s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date))
)

FinancialOntology.kif 733-738
( ! [V__Account,V__FinancialAccount,V__Balance,V__Date,V__Amount] :
   ((s__instance(V__Account,V__FinancialAccount)
     &
     s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance)
   &
   s__currentAccountBalance(V__Account,V__Date,V__Amount)
&
s__lessThan(V__Amount,V__Balance))
=>
(? [V__Penalty] :
(s__instance(V__Penalty,s__Penalty) &
s__date(V__Penalty,V__Date)
&
s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)

FinancialOntology.kif 658-668
( ! [V__Account,V__MinPayment,V__Amount] :
   ((s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       (? [V__Payment,V__Month] :
         (s__instance(V__Month,s__Month) &
           s__destination(V__Payment,s__CurrencyFn(V__Account))
       &
       s__paymentsPerPeriod(V__Account,V__Amount,V__Month)
     &
     s__lessThan(V__Amount,V__MinPayment))))
=>
(? [V__Penalty] :
(s__instance(V__Penalty,s__Penalty) &
s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)

FinancialOntology.kif 712-725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 492-498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 419-424
No TPTP formula. May not be expressible in strict first order. Merge.kif 13796-13811
No TPTP formula. May not be expressible in strict first order. Merge.kif 13813-13826
( ! [V__WATERWAY,V__OBJ,V__DEPTH,V__UNIT,V__DRAFT] :
   ((s__instance(V__WATERWAY,s__Waterway) &
       s__depth(V__OBJ,V__WATERWAY,s__MeasureFn(V__DEPTH,V__UNIT))
   &
   s__instance(V__UNIT,s__UnitOfLength) &
   s__lessThan(V__DRAFT,V__DEPTH))
=>
s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__DRAFT,V__UNIT)))
)

Transportation.kif 2581-2587
( ! [V__X,V__Y,V__BOIL,V__MELT,V__TEMP] :
   ((s__instance(V__X,V__Y)
     &
     s__subclass(V__Y,s__PureSubstance) &
     s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
   &
   s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
&
s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
&
s__greaterThan(V__TEMP,V__MELT)
&
s__lessThan(V__TEMP,V__BOIL))
=>
s__attribute(V__X,s__Liquid))
)

Merge.kif 13740-13749
( ! [V__X,V__Y,V__MELT,V__PRES,V__TEMP] :
   ((s__instance(V__X,V__Y)
     &
     s__subclass(V__Y,s__PureSubstance) &
     s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
   &
   s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
&
s__greaterThan(V__PRES,29.92)
&
s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
&
s__lessThan(V__TEMP,V__MELT))
=>
s__attribute(V__X,s__Solid))
)

Merge.kif 13751-13760
( ! [V__ROW1,V__Process1,V__Process2,V__Number1,V__Number2] :
   ((s__processList_1(V__ROW1)
     &
     s__inList(V__Process1,s__ListFn_1(V__ROW1))
&
s__inList(V__Process2,s__ListFn_1(V__ROW1))
&
(s__ListOrderFn(s__ListFn_1(V__ROW1)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn_1(V__ROW1)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2)))
)

QoSontology.kif 675-683
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427

consequent
-------------------------


( ! [V__ROW1] :
   ((s__instance(s__duration__m,s__TotalValuedRelation) &
       s__instance(s__duration__m,s__Predicate))
     <=>
     (? [V__VALENCE] :
       (s__instance(s__duration__m,s__Relation) &
         s__valence(s__duration__m,V__VALENCE)
       &
       ((! [V__NUMBER,V__ELEMENT,V__CLASS] :
           ((s__lessThan(V__NUMBER,V__VALENCE)
             &
             s__domain(s__duration__m,V__NUMBER,V__CLASS)
           &
           (V__ELEMENT = s__ListOrderFn(s__ListFn_1(V__ROW1)
          ,V__NUMBER)))
     =>
     s__instance(V__ELEMENT,V__CLASS)))
=>
(? [V__ITEM] :
s__duration(V__ROW1,V__ITEM))))))
)

Merge.kif 2318-2335
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__NegativeRealNumber) <=>
     (s__lessThan(V__NUMBER,0)
     &
     s__instance(V__NUMBER,s__RealNumber)))
)

Merge.kif 2007-2011
( ! [V__NUMBER1,V__NUMBER2] :
   (s__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2)
   <=>
   ((V__NUMBER1 = V__NUMBER2)
     |
     s__lessThan(V__NUMBER1,V__NUMBER2)))
)

Merge.kif 1921-1925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16281-16289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16295-16306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16312-16323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16329-16340
No TPTP formula. May not be expressible in strict first order. Dining.kif 1102-1110
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3583-3591
No TPTP formula. May not be expressible in strict first order. Merge.kif 2787-2792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11171-11180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11069-11077
( ! [V__A,V__N] :
   ((s__instance(V__A,s__AcuteAngle) &
       s__angularMeasure(V__A,s__MeasureFn(V__N,s__AngularDegree)))
   =>
   s__lessThan(V__N,90))
)

Mid-level-ontology.kif 5181-5185
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
     =>
     (? [V__RUNWAY,V__LENGTH] :
       (s__instance(V__RUNWAY,s__Runway) &
         s__part(V__RUNWAY,V__AIRPORT)
       &
       s__length(V__RUNWAY,V__LENGTH)
     &
     s__lessThan(V__LENGTH,s__MeasureFn(914,s__Meter)))))
)

Transportation.kif 1338-1347
( ! [V__AREA,V__ELEV1] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
    ,V__AREA)
   &
   s__elevation(s__ElevationLowPointFn(V__AREA)
,V__ELEV1))
=>
(~ (? [V__OTHER,V__ELEV2] :
(s__geographicSubregion(V__OTHER,V__AREA)
&
(~ (V__OTHER = s__ElevationLowPointFn(V__AREA)))
&
s__elevation(V__OTHER,V__ELEV2)
&
s__lessThan(V__ELEV2,V__ELEV1)))))
)

Geography.kif 1881-1892
( ! [V__AREA,V__WEATHER,V__FRACTION] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__ClearWeather) &
       s__eventLocated(V__WEATHER,V__AREA)
     &
     s__cloudCoverFraction(V__AREA,V__FRACTION))
=>
s__lessThan(V__FRACTION,0.3))
)

Weather.kif 504-510
( ! [V__AREA,V__WEATHER] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__WEATHER,s__ClearWeather) &
       s__eventLocated(V__WEATHER,V__AREA))
   =>
   (? [V__FRACTION] :
     (s__cloudCoverFraction(V__AREA,V__FRACTION)
     &
     s__lessThan(V__FRACTION,0.3))))
)

Weather.kif 494-502
( ! [V__BOTTLE,V__BOTTOM,V__TOP,V__WIDTH1,V__WIDTH2] :
   ((s__instance(V__BOTTLE,s__Bottle) &
       s__bottom(V__BOTTOM,V__BOTTLE)
     &
     s__top(V__TOP,V__BOTTLE)
   &
   s__width(V__BOTTOM,V__WIDTH1)
&
s__width(V__TOP,V__WIDTH2))
=>
s__lessThan(V__WIDTH2,V__WIDTH1))
)

Mid-level-ontology.kif 5023-5030
No TPTP formula. May not be expressible in strict first order. Merge.kif 10862-10875
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1904-1912
No TPTP formula. May not be expressible in strict first order. Dining.kif 511-520

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


( ! [V__GRAPH,V__NUMBER1,V__NUMBER2] :
   (~ (? [V__PATH1,V__PATH2] :
       (s__instance(V__PATH1,s__CutSetFn(V__GRAPH))
     &
     s__instance(V__PATH2,s__MinimalCutSetFn(V__GRAPH))
&
s__pathLength(V__PATH1,V__NUMBER1)
&
s__pathLength(V__PATH2,V__NUMBER2)
&
s__lessThan(V__NUMBER1,V__NUMBER2))))
)

Merge.kif 6217-6224


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners