lessThanOrEqualTo - Sigma Knowledge base Browser

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 1771-1773
(domain lessThanOrEqualTo 1 Quantity)	Merge.kif 1768-1768	domain lessThanOrEqualTo, 1 and Quantity
(domain lessThanOrEqualTo 2 Quantity)	Merge.kif 1769-1769	domain lessThanOrEqualTo, 2 and Quantity
(instance lessThanOrEqualTo BinaryPredicate)	Merge.kif 1764-1764	instance lessThanOrEqualTo and BinaryPredicate
(instance lessThanOrEqualTo PartialOrderingRelation)	Merge.kif 1765-1765	instance lessThanOrEqualTo and PartialOrderingRelation
(instance lessThanOrEqualTo RelationExtendedToQuantities)	Merge.kif 1766-1766	instance lessThanOrEqualTo and RelationExtendedToQuantities
(trichotomizingOn lessThanOrEqualTo RealNumber)	Merge.kif 1767-1767	trichotomizingOn lessThanOrEqualTo and RealNumber

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 1787-1787	inverse greaterThanOrEqualTo and lessThanOrEqualTo
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于")	domainEnglishFormat.kif 34045-34045
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于")	chinese_format.kif 144-144
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於")	domainEnglishFormat.kif 34044-34044
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to")	domainEnglishFormat.kif 34043-34043

antecedent

(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))	Merge.kif 1775-1779	lessThanOrEqualTo Quantity and Quantity equal Quantity and Quantity lessThan Quantity and Quantity
(=> (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	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Buying and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and CurrencyMeasure askPrice Security, CurrencyMeasure and Agent lessThanOrEqualTo CurrencyMeasure and CurrencyMeasure holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally Agent and SymbolicStringingTime and Agreement
(=> (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	commemoratesDate Holiday and DayFn PositiveInteger and MonthFn Month and YearFn Integer instance Entity and Holiday subclass Holiday and FixedHoliday lessThanOrEqualTo Integer and entity-YEAR instance Entity and DayFn PositiveInteger and MonthFn Month and YearFn entity-YEAR
(=> (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	instance Object and MaritimeClaimsTerritorialSeaFn Region width Object and MeasureFn RealNumber and UnitOfMeasure distance Physical, Region and MeasureFn RealNumber and UnitOfMeasure lessThanOrEqualTo RealNumber and RealNumber located Physical and Object
(=> (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 1792-1807	instance Device and Gun effectiveRange Device and LengthMeasure distance Device, Object and LengthMeasure instance Object and Organism Object between Object, Object and Device lessThanOrEqualTo LengthMeasure and LengthMeasure capability KappaFn SymbolicString and instance SymbolicString and Killing patient SymbolicString and Object, instrument and Device
(=> (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 1774-1788	instance Device and Gun effectiveRange Device and LengthMeasure distance Device, Object and LengthMeasure Object between Object, Object and Device lessThanOrEqualTo LengthMeasure and LengthMeasure capability KappaFn SymbolicString and instance SymbolicString and Damaging patient SymbolicString and Object, instrument and Device
(=> (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	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration lessThanOrEqualTo Quantity and 1 holdsDuring TimePosition and instance Entity and HumanBaby
(=> (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	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration lessThanOrEqualTo Quantity and 14 holdsDuring TimePosition and instance Entity and HumanChild
(=> (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	maximumPayloadCapacity Vehicle and MeasureFn RealNumber and UnitOfMeasure maximumPayloadHeightWidth Vehicle, MeasureFn RealNumber and UnitOfMeasure and MeasureFn RealNumber and UnitOfMeasure instance SelfConnectedObject and SelfConnectedObject weight SelfConnectedObject and MeasureFn RealNumber and RealNumberU width SelfConnectedObject and MeasureFn RealNumber and RealNumberU height SelfConnectedObject and MeasureFn RealNumber and RealNumberU equal RealNumberU and UnitOfMeasure equal RealNumberU and UnitOfMeasure equal RealNumberU and UnitOfMeasure lessThanOrEqualTo RealNumber and RealNumber lessThanOrEqualTo RealNumber and RealNumber lessThanOrEqualTo RealNumber and RealNumber capability KappaFn SymbolicString and instance SymbolicString and Transportation patient SymbolicString and SelfConnectedObject, instrument and Vehicle
(=> (and (navigableForDraft ?WATERWAY ?AMOUNT) (ladenDraft ?SHIP ?DRAFT) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY)))	Transportation.kif 2638-2643	navigableForDraft WaterArea and LengthMeasure ladenDraft WaterVehicle and LengthMeasure lessThanOrEqualTo LengthMeasure and LengthMeasure capability TripFn WaterVehicle, path and WaterArea
(=> (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	navigableForShippingTonnage WaterArea and MeasureFn RealNumber and LongTon instance WaterVehicle and WaterVehicle vesselDisplacement WaterVehicle and MeasureFn RealNumber and LongTon lessThanOrEqualTo RealNumber and RealNumber capability TripFn WaterVehicle, path and WaterArea
(=> (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	orientation Object, Region and Outside instance Object and PerimeterAreaFn Region instance Object and UniformPerimeterArea width Object and MeasureFn RealNumber and UnitOfMeasure distance Object, Region and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfMeasure lessThanOrEqualTo SubtractionFn RealNumber and RealNumber and 0 located Object and Object

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 2972-2988	equal List and ListConcatenateFn List and List equal List and NullList equal List and NullList PositiveInteger PositiveInteger lessThanOrEqualTo PositiveInteger and ListLengthFn List lessThanOrEqualTo PositiveInteger and ListLengthFn List instance PositiveInteger and PositiveInteger instance PositiveInteger and PositiveInteger equal ListOrderFn List and PositiveInteger and ListOrderFn List and PositiveInteger equal ListOrderFn List and AdditionFn ListLengthFn List and PositiveInteger and ListOrderFn List and PositiveInteger
(<=> (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	average List and RealNumber List equal ListLengthFn List and ListLengthFn List equal ListOrderFn List and 1 and ListOrderFn List and 1 PositiveInteger inList PositiveInteger and List Quantity QuantityMINUSONE, PositiveInteger and PositiveInteger greaterThan Quantity and 1 lessThanOrEqualTo Quantity and ListLengthFn List equal ListOrderFn List and PositiveInteger and Quantity inList PositiveInteger and List equal Quantity and ListOrderFn List and PositiveInteger inList PositiveInteger and List equal QuantityMINUSONE and SubtractionFn Quantity and 1 equal QuantityMINUSONE and ListOrderFn List and PositiveInteger equal PositiveInteger and AdditionFn PositiveInteger and PositiveInteger equal PositiveInteger and ListLengthFn List equal RealNumber and DivisionFn ListOrderFn List and PositiveInteger and PositiveInteger
(<=> (instance ?QUANTITY (IntervalFn ?FROM ?TO)) (and (greaterThanOrEqualTo ?QUANTITY ?FROM) (lessThanOrEqualTo ?QUANTITY ?TO)))	Merge.kif 6255-6259	instance Quantity and IntervalFn ConstantQuantity and ConstantQuantity greaterThanOrEqualTo Quantity and ConstantQuantity lessThanOrEqualTo Quantity and ConstantQuantity
(=> (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 5692-5701	equal MaximalWeightedPathFn GraphNode and GraphNode and GraphPath equal PathWeightFn GraphPath and Quantity GraphPath instance GraphPath and GraphPathFn GraphNode and GraphNode equal PathWeightFn GraphPath and Quantity lessThanOrEqualTo Quantity and Quantity
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90))	Geography.kif 427-431	instance LatitudeFn DirectionalAttribute and @ROW and Region equal ListOrderFn ListFn @ROW and 1 and MeasureFn RealNumber and AngularDegree lessThanOrEqualTo RealNumber and 90
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180))	Geography.kif 467-474	instance LongitudeFn DirectionalAttribute and @ROW and Region equal ListOrderFn ListFn @ROW and 1 and MeasureFn RealNumber and AngularDegree lessThanOrEqualTo RealNumber and 180
(=> (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	instance Object and Airport attribute Object and LongRunwayAirport Object Quantity instance Object and Runway part Object and Object length Object and Quantity greaterThanOrEqualTo Quantity and MeasureFn 2438 and Meter lessThanOrEqualTo Quantity and MeasureFn 3047 and Meter
(=> (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	instance Object and Airport attribute Object and MediumLengthRunwayAirport Object Quantity instance Object and Runway part Object and Object length Object and Quantity greaterThanOrEqualTo Quantity and MeasureFn 1524 and Meter lessThanOrEqualTo Quantity and MeasureFn 2437 and Meter
(=> (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	instance Object and Airport attribute Object and ShortRunwayAirport Object Quantity instance Object and Runway part Object and Object length Object and Quantity greaterThanOrEqualTo Quantity and MeasureFn 914 and Meter lessThanOrEqualTo Quantity and MeasureFn 1523 and Meter
(=> (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	instance Region and GeographicArea instance Process and PartlyCloudyWeather eventLocated Process and Region cloudCoverFraction Region and NonnegativeRealNumber greaterThanOrEqualTo NonnegativeRealNumber and 0.3 lessThanOrEqualTo NonnegativeRealNumber and 0.7
(=> (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	instance Region and GeographicArea instance Process and PartlyCloudyWeather eventLocated Process and Region NonnegativeRealNumber cloudCoverFraction Region and NonnegativeRealNumber greaterThanOrEqualTo NonnegativeRealNumber and 0.3 lessThanOrEqualTo NonnegativeRealNumber and 0.7
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris))))	CountriesAndRegions.kif 59-65	instance GeopoliticalArea and City part GeopoliticalArea and France lessThanOrEqualTo CardinalityFn ResidentFn GeopoliticalArea and CardinalityFn ResidentFn Paris
(=> (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	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMaximum Agent and TimeDuration age Agent and TimeDuration lessThanOrEqualTo TimeDuration and TimeDuration
(=> (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	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMaximum Agent and TimeDuration TimeDuration age Agent and TimeDuration lessThanOrEqualTo TimeDuration and TimeDuration
(=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0))	Mid-level-ontology.kif 8661-8665	instance Object and Ice measure Object and MeasureFn RealNumber and CelsiusDegree lessThanOrEqualTo RealNumber and 0
(=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter)))	Transportation.kif 447-452	instance Railway and Railway property Railway and NarrowGauge trackWidth Railway and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 1.435 and Meter
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.44 Meter)))	Transportation.kif 430-435	instance Railway and Railway property Railway and StandardGauge trackWidth Railway and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 1.44 and Meter
(=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1138-1142	instance Object and ExclusiveFishingZone linearExtent Object and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 200 and NauticalMile
(=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1169-1173	instance Object and ExtendedFishingZone linearExtent Object and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 200 and NauticalMile
(=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1107-1111	instance Object and MaritimeExclusiveEconomicZone linearExtent Object and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 200 and NauticalMile
(=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1067-1071	instance Object and MaritimeShelfArea linearExtent Object and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 200 and NauticalMile
(=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 12 NauticalMile)))	Geography.kif 1209-1213	instance Object and TerritorialSea linearExtent Object and LengthMeasure lessThanOrEqualTo LengthMeasure and MeasureFn 12 and NauticalMile
(=> (and (lengthOfCrudeOilPipeline ?AREA ?AMOUNT1) (totalPipelineInArea ?AREA ?AMOUNT2)) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))	Transportation.kif 710-714	lengthOfCrudeOilPipeline GeographicArea and LengthMeasure totalPipelineInArea GeographicArea and LengthMeasure lessThanOrEqualTo LengthMeasure and LengthMeasure
(=> (and (lengthOfNaturalGasPipeline ?AREA ?AMOUNT1) (totalPipelineInArea ?AREA ?AMOUNT2)) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))	Transportation.kif 733-737	lengthOfNaturalGasPipeline GeographicArea and LengthMeasure totalPipelineInArea GeographicArea and LengthMeasure lessThanOrEqualTo LengthMeasure and LengthMeasure
(=> (and (lengthOfPetroleumProductPipeline ?AREA ?AMOUNT1) (totalPipelineInArea ?AREA ?AMOUNT2)) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))	Transportation.kif 756-760	lengthOfPetroleumProductPipeline GeographicArea and LengthMeasure totalPipelineInArea GeographicArea and LengthMeasure lessThanOrEqualTo LengthMeasure and LengthMeasure

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 CardinalityFn TwelveApostles and 12
(lessThanOrEqualTo (MeasureFn ?NUMBER MonthDuration) (MeasureFn (MultiplicationFn ?NUMBER 31) DayDuration))	Merge.kif 6794-6796	lessThanOrEqualTo MeasureFn RealNumber and MonthDuration and MeasureFn MultiplicationFn RealNumber and 31 and DayDuration

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

KB Term:			Term intersection

English Word: