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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lessThanOrEqualTo

 Sigma KEE - lessThanOrEqualTo
lessThanOrEqualTo

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 1863-1865
(documentation lessThanOrEqualTo JapaneseLanguage "(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1が Quantity ?NUMBER2以下の場合に当てはまる。") japanese_format.kif 341-342
(domain lessThanOrEqualTo 1 RealNumber) Merge.kif 1860-1860 Le nombre 1 argument de lessThanOrEqualTo est une instance de nombre r�el
(domain lessThanOrEqualTo 2 RealNumber) Merge.kif 1861-1861 Le nombre 2 argument de lessThanOrEqualTo est une instance de nombre r�el
(instance lessThanOrEqualTo BinaryPredicate) Merge.kif 1856-1856 lessThanOrEqualTo est une instance de pr�dicat binaire
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1857-1857 lessThanOrEqualTo est une instance de relation partiellement dirig�e
(instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1858-1858 lessThanOrEqualTo est une instance de relation �tendue aux quantit�es
(trichotomizingOn lessThanOrEqualTo RealNumber) Merge.kif 1859-1859 lessThanOrEqualTo est trichotomiz� en nombre r�el

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
(format FrenchLanguage lessThanOrEqualTo "%1 est %n plus petit ou �gal � %2") french_format.kif 93-93
(format ItalianLanguage lessThanOrEqualTo "%1 è%n minore o uguale a %2") relations-it.txt 164-164
(format JapaneseLanguage lessThanOrEqualTo "%1 は %2 より less または同等 では %n") japanese_format.kif 1920-1920
(format PortugueseLanguage lessThanOrEqualTo "%1 e' %n menor ou igual a %2") portuguese_format.kif 45-45
(format cz lessThanOrEqualTo "%1 %p{je} %n{nen�} men�� ne� nebo roven %2") relations-cz.txt 78-78
(format de lessThanOrEqualTo "%1 ist kleinerAlsOderGleich %2 %n{nicht}") relations-de.txt 174-174
(format hi lessThanOrEqualTo "%1 %2 se kama yaa baraabara %n hai") relations-hindi.txt 203-203
(format ro lessThanOrEqualTo "%1 %n{nu} este less%t{mai mic} sau egal decât %2") relations-ro.kif 112-112
(format sv lessThanOrEqualTo "%1 är %n{inte} mindre än eller lika med %2") relations-sv.txt 92-92
(format tg lessThanOrEqualTo "%1 %n ay meno o pareho ng %2") relations-tg.txt 327-327
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1879-1879 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") domainEnglishFormat.kif 34180-34180 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") chinese_format.kif 144-144 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") domainEnglishFormat.kif 34179-34179 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") domainEnglishFormat.kif 34178-34178 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(termFormat de lessThanOrEqualTo "kleinerAlsOderGleich") terms-de.txt 53-53 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(termFormat tg lessThanOrEqualTo "meno o pareho ng") relations-tg.txt 328-328 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo

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


(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))		 Merge.kif 1867-1871 Nombre r�el est plus petit ou �gal � nombre r�el nombre r�el est nombre r�el nombre r�el est moins que nombre r�el
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?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 2008-2029
(=>
    (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 583-589
(=>
    (and
        (equal ?LIST3
            (ListConcatenateFn ?LIST1 ?LIST2))
        (not
            (equal ?LIST1 NullList))
        (not
            (equal ?LIST2 NullList))
        (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 3084-3103
(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))		 Geography.kif 874-880
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1410-1429
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?DAMAGING)
        (capability
            (KappaFn ?DAMAGING
                (and
                    (instance ?DAMAGING Damaging)
                    (patient ?DAMAGING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1388-1406
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 385-390
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 304-311
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (elevation ?ZEPHYR
            (MeasureFn ?X FootLength))
        (lessThanOrEqualTo ?X 500.0)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))		 Weather.kif 136-145
(=>
    (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
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))		 Transportation.kif 3182-3187
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))		 Transportation.kif 3159-3165
(=>
    (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.0))
    (located ?OBJ ?ZONE))		 Geography.kif 852-861

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


(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2 ?LASTPLACE)
        (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 272-293 average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif
(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6045-6051
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))		 Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 467-474
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 2438)
                (lessThanOrEqualTo ?LENGTH 3047)))))		 Transportation.kif 1574-1586
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 1524)
                (lessThanOrEqualTo ?LENGTH 2437)))))		 Transportation.kif 1555-1567
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 914)
                (lessThanOrEqualTo ?LENGTH 1523)))))		 Transportation.kif 1536-1548
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))		 Weather.kif 901-909
(=>
    (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 890-899
(=>
    (and
        (instance ?B Brine)
        (measure ?B
            (MeasureFn 1.0 Liter))
        (part ?SALT ?B)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 35.0)
        (lessThanOrEqualTo ?R 260.0)))		 Geography.kif 2873-2884
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B DarkRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 225)
        (lessThanOrEqualTo ?T 245)))		 Food.kif 571-578
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B LightRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 196)
        (lessThanOrEqualTo ?T 205)))		 Food.kif 495-502
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B MediumRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 210)
        (lessThanOrEqualTo ?T 219)))		 Food.kif 533-540
(=>
    (and
        (instance ?C CoffeeArabica)
        (measure ?C
            (MeasureFn ?X Gram))
        (instance ?CC Caffeine)
        (part ?CC ?C)
        (measure ?CC
            (MeasureFn ?Y Gram))
        (equal ?Z
            (DivisionFn ?Y ?X)))
    (and
        (greaterThanOrEqualTo ?Z 0.008)
        (lessThanOrEqualTo ?Z 0.014)))		 Economy.kif 4760-4773
(=>
    (and
        (instance ?C CoffeeRobusta)
        (measure ?C
            (MeasureFn ?X Gram))
        (instance ?CC Caffeine)
        (part ?CC ?C)
        (measure ?CC
            (MeasureFn ?Y Gram))
        (equal ?Z
            (DivisionFn ?Y ?X)))
    (and
        (greaterThanOrEqualTo ?Z 0.017)
        (lessThanOrEqualTo ?Z 0.04)))		 Economy.kif 4784-4797
(=>
    (and
        (instance ?C FlatWhite)
        (part ?E ?C)
        (part ?M ?C)
        (instance ?E Espresso)
        (instance ?M MilkFoam)
        (mixtureRatio ?E ?M ?V1 ?V2 Liter)
        (part ?B ?M)
        (part ?B ?E)
        (top ?B ?M)
        (instance ?B Bubble)
        (measure ?B
            (MeasureFn ?L Millimeter)))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)
        (greaterThanOrEqualTo ?L 1.0)
        (lessThanOrEqualTo ?L 20.0)))		 Food.kif 1367-1385
(=>
    (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
            (MeasureFn ?VOTINGAGE YearDuration))
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (lessThanOrEqualTo ?AGE ?VOTINGAGE))		 Government.kif 1039-1048
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMaximum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration)))
    (exists (?AGE)
        (and
            (age ?AGENT
                (MeasureFn ?AGE YearDuration))
            (lessThanOrEqualTo ?AGE ?VOTINGAGE))))		 Government.kif 1026-1037
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2348-2367
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0.0))		 Mid-level-ontology.kif 9203-9207
(=>
    (and
        (instance ?M SemiSkimmedMilk)
        (measure ?M
            (MeasureFn ?N ?U))
        (instance ?U UnitOfVolume))
    (exists (?BF ?N2)
        (and
            (instance ?BF ButterFat)
            (part ?BF ?M)
            (not
                (exists (?F2)
                    (and
                        (instance ?F2 ButterFat)
                        (not
                            (equal ?BF ?F2))
                        (part ?F2 ?M))))
            (measure ?BF
                (MeasureFn ?N2 ?U))
            (greaterThanOrEqualTo ?N2
                (MultiplicationFn 0.015 ?N))
            (lessThanOrEqualTo ?N2
                (MultiplicationFn 0.02 ?N)))))		 Food.kif 2993-3011
(=>
    (and
        (instance ?M SkimmedMilk)
        (measure ?M
            (MeasureFn ?N ?U))
        (instance ?U UnitOfVolume))
    (exists (?BF ?N2)
        (and
            (instance ?BF ButterFat)
            (part ?BF ?M)
            (not
                (exists (?F2)
                    (and
                        (instance ?F2 ButterFat)
                        (not
                            (equal ?BF ?F2))
                        (part ?F2 ?M))))
            (measure ?BF
                (MeasureFn ?N2 ?U))
            (greaterThanOrEqualTo ?N2
                (MultiplicationFn 0.0 ?N))
            (lessThanOrEqualTo ?N2
                (MultiplicationFn 0.005 ?N)))))		 Food.kif 3018-3036
(=>
    (and
        (instance ?M WholeMilk)
        (measure ?M
            (MeasureFn ?N ?U))
        (instance ?U UnitOfVolume))
    (exists (?BF ?N2)
        (and
            (instance ?BF ButterFat)
            (part ?BF ?M)
            (not
                (exists (?F2)
                    (and
                        (instance ?F2 ButterFat)
                        (not
                            (equal ?BF ?F2))
                        (part ?F2 ?M))))
            (measure ?BF
                (MeasureFn ?N2 ?U))
            (greaterThanOrEqualTo ?N2
                (MultiplicationFn 0.0325 ?N))
            (lessThanOrEqualTo ?N2
                (MultiplicationFn 0.05 ?N)))))		 Food.kif 2851-2869
(=>
    (and
        (instance ?RR Railway)
        (property ?RR NarrowGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (lessThanOrEqualTo ?WIDTH 1.435))		 Transportation.kif 453-458

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 1966-1966 Le nombre d' instances dans TwelveApostles est plus petit ou �gal � 12


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

Show without tree


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