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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1770-1772
(domain lessThanOrEqualTo 1 Quantity) Merge.kif 1767-1767 domain lessThanOrEqualTo, 1 and Quantity
(domain lessThanOrEqualTo 2 Quantity) Merge.kif 1768-1768 domain lessThanOrEqualTo, 2 and Quantity
(instance lessThanOrEqualTo BinaryPredicate) Merge.kif 1763-1763 instance lessThanOrEqualTo and BinaryPredicate
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1764-1764 instance lessThanOrEqualTo and PartialOrderingRelation
(instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1765-1765 instance lessThanOrEqualTo and RelationExtendedToQuantities
(trichotomizingOn lessThanOrEqualTo RealNumber) Merge.kif 1766-1766 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 1786-1786 inverse greaterThanOrEqualTo and lessThanOrEqualTo
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") domainEnglishFormat.kif 34063-34063 termFormat ChineseLanguage, lessThanOrEqualTo and "小于或等于"
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") chinese_format.kif 144-144 termFormat ChineseLanguage, lessThanOrEqualTo and "少于或等于"
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") domainEnglishFormat.kif 34062-34062 termFormat ChineseTraditionalLanguage, lessThanOrEqualTo and "小於或等於"
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") domainEnglishFormat.kif 34061-34061 termFormat EnglishLanguage, lessThanOrEqualTo and "less than or equal to"

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


(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1774-1778 lessThanOrEqualTo Quantity and Quantity equal Quantity and Quantity lessThan Quantity and Quantity
(=>
    (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 1792-1807
(=>
    (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
(=>
    (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
        (instance ?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 1944-1962
(=>
    (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 2629-2634
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2606-2612
(=>
    (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
-------------------------


(<=>
    (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 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 6169-6173 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 5606-5615
(=>
    (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 8660-8664
(=>
    (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
(=>
    (and
        (maxCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (lessThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2205-2218

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25