| 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