| appearance as argument number 1 |
|
| (documentation lessThanOrEqualTo ChineseLanguage "(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 少于或者等于 ?NUMBER2 的 Quantity。") | chinese_format.kif 1733-1734 | |
| (documentation lessThanOrEqualTo EnglishLanguage "(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than or equal to the Quantity ?NUMBER2.") | Merge.kif 1776-1778 | |
| (domain lessThanOrEqualTo 1 Quantity) | Merge.kif 1773-1773 | |
| (domain lessThanOrEqualTo 2 Quantity) | Merge.kif 1774-1774 | |
| (instance lessThanOrEqualTo BinaryPredicate) | Merge.kif 1769-1769 | |
| (instance lessThanOrEqualTo PartialOrderingRelation) | Merge.kif 1770-1770 | |
| (instance lessThanOrEqualTo RelationExtendedToQuantities) | Merge.kif 1771-1771 | |
| (trichotomizingOn lessThanOrEqualTo RealNumber) | Merge.kif 1772-1772 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage lessThanOrEqualTo "%1 %n 是 lessThanOrEqualTo %2") | chinese_format.kif 143-143 | |
| (format EnglishLanguage lessThanOrEqualTo "%1 is %n less than or equal to %2") | english_format.kif 144-144 | |
| (inverse greaterThanOrEqualTo lessThanOrEqualTo) | Merge.kif 1792-1792 | |
| (termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") | domainEnglishFormat.kif 34075-34075 | |
| (termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") | chinese_format.kif 144-144 | |
| (termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") | domainEnglishFormat.kif 34074-34074 | |
| (termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") | domainEnglishFormat.kif 34073-34073 |
| antecedent |
|
|
| (<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1780-1784 | |
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (askPrice ?Object ?Price ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 1945-1963 | |
| (=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (subclass ?HOLIDAY FixedHoliday) (lessThanOrEqualTo ?YEAR ?LATER-YEAR)) (instance ?DATE (DayFn ?DAY (MonthFn ?MONTH (YearFn ?LATER-YEAR))))) |
Government.kif 606-612 | |
| (=> (and (instance ?AREA (MaritimeClaimsTerritorialSeaFn ?PLACE)) (width ?AREA (MeasureFn ?WIDTH ?UNIT)) (distance ?OBJ ?PLACE (MeasureFn ?DISTANCE ?UNIT)) (lessThanOrEqualTo ?DISTANCE ?WIDTH)) (located ?OBJ ?AREA)) |
Geography.kif 873-879 | |
| (=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1798-1813 | |
| (=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1780-1794 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby))) |
Mid-level-ontology.kif 553-558 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild))) |
Mid-level-ontology.kif 462-467 | |
| (=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 | |
| (=> (and (navigableForDraft ?WATERWAY ?AMOUNT) (ladenDraft ?SHIP ?DRAFT) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 2638-2643 | |
| (=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 2615-2621 | |
| (=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0)) (located ?OBJ ?ZONE)) |
Geography.kif 851-860 |
| consequent |
|
|
| (<=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList))) (forall (?NUMBER1 ?NUMBER2) (=> (and (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2)))))) |
Merge.kif 2977-2993 | |
| (<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2) (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 285-306 | |
| (<=> (instance ?QUANTITY (IntervalFn ?FROM ?TO)) (and (greaterThanOrEqualTo ?QUANTITY ?FROM) (lessThanOrEqualTo ?QUANTITY ?TO))) |
Merge.kif 6298-6302 | |
| (=> (and (equal (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1)) (forall (?PATH2) (=> (and (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (lessThanOrEqualTo ?NUMBER2 ?NUMBER1)))) |
Merge.kif 5737-5746 | |
| (=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90)) |
Geography.kif 427-431 | |
| (=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180)) |
Geography.kif 467-474 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 2438 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 3047 Meter)))))) |
Transportation.kif 1432-1443 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 1524 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 2437 Meter)))))) |
Transportation.kif 1414-1425 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 914 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 1523 Meter)))))) |
Transportation.kif 1396-1407 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))) |
Weather.kif 528-536 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7)))) |
Weather.kif 517-526 | |
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 | |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1047-1054 | |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY ?VOTINGAGE)) (exists (?AGE) (and (age ?AGENT ?AGE) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1036-1045 | |
| (=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0)) |
Mid-level-ontology.kif 8642-8646 | |
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter))) |
Transportation.kif 447-452 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.44 Meter))) |
Transportation.kif 430-435 | |
| (=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile))) |
Geography.kif 1138-1142 | |
| (=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile))) |
Geography.kif 1169-1173 | |
| (=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile))) |
Geography.kif 1107-1111 | |
| (=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile))) |
Geography.kif 1067-1071 | |
| (=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 12 NauticalMile))) |
Geography.kif 1209-1213 | |
| (=> (and (lengthOfCrudeOilPipeline ?AREA ?AMOUNT1) (totalPipelineInArea ?AREA ?AMOUNT2)) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 710-714 | |
| (=> (and (lengthOfNaturalGasPipeline ?AREA ?AMOUNT1) (totalPipelineInArea ?AREA ?AMOUNT2)) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 733-737 | |
| (=> (and (lengthOfPetroleumProductPipeline ?AREA ?AMOUNT1) (totalPipelineInArea ?AREA ?AMOUNT2)) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 756-760 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| (lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1968-1968 | |
| (lessThanOrEqualTo (MeasureFn ?NUMBER MonthDuration) (MeasureFn (MultiplicationFn ?NUMBER 31) DayDuration)) |
Merge.kif 6839-6841 |
|
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 3.0 is open source software produced by Articulate Software and its partners