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


KB Term:  Term intersection
English Word: 

  GeologicalProcess

 Sigma KEE - defaultMaximumMeasure
defaultMaximumMeasure

appearance as argument number 1
-------------------------


(instance defaultMaximumMeasure BinaryPredicate) Mid-level-ontology.kif 15093-15093 default maximum measure is an instance of binary predicate
(domainSubclass defaultMaximumMeasure 1 Object) Mid-level-ontology.kif 15094-15094 The number 1 argument of default maximum measure is a subclass of object
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 15095-15095 The number 2 argument of default maximum measure is an instance of quantity
(documentation defaultMaximumMeasure EnglishLanguage "A BinaryPredicate that states the assumed maximum measure of an Object") Mid-level-ontology.kif 15096-15096 The number 2 argument of default maximum measure is an instance of quantity

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage defaultMaximumMeasure "default maximum measure") Mid-level-ontology.kif 15097-15097
(format EnglishLanguage defaultMaximumMeasure "the maximum expected value of %1 is %2") domainEnglishFormat.kif 3176-3176
(format ChineseTraditionalLanguage defaultMaximumMeasure "%1 的 maximum 預期價值是 %2 ") domainEnglishFormat.kif 3177-3177
(format ChineseLanguage defaultMaximumMeasure "%1 的 maximum 预期价值是 %2 ") domainEnglishFormat.kif 3178-3178

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


(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 15099-15108 If the maximum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y has the modal force of unlikely
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))		 Mid-level-ontology.kif 15110-15121 If the maximum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U T(s) is greater than Y Z(s) has the modal force of unlikely
(=>
    (and
        (massLimit ?ROBOT
            (MeasureFn ?MASSLIMIT ?UNITOFMASS))
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (instance ?UNITOFMASS UnitOfMass)
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?NUM ?UNITOFMASS))
        (greaterThan ?NUM ?MASSLIMIT))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 94-103 If All of the following hold: (1) massLimit X and Y Z(s) (2) W is an instance of V (3) V is a subclass of object (4) Z is an instance of unit of mass (5) the maximum expected value of V is U Z(s) (6) U is greater than Y, then canCarry X and W

appearance as argument number 0
-------------------------


(defaultMaximumMeasure Lion
    (MeasureFn 600.0 PoundMass))		 Mid-level-ontology.kif 33018-33018 The maximum expected value of lion is 600.0 pound mass(s)
(defaultMaximumMeasure Rhinoceros
    (MeasureFn 2200.0 PoundMass))		 Mid-level-ontology.kif 33095-33095 The maximum expected value of rhinoceros is 2200.0 pound mass(s)
(defaultMaximumMeasure Parrot
    (MeasureFn 9.0 PoundMass))		 Mid-level-ontology.kif 33108-33108 The maximum expected value of parrot is 9.0 pound mass(s)
(defaultMaximumMeasure Lemur
    (MeasureFn 20.0 PoundMass))		 Mid-level-ontology.kif 33124-33124 The maximum expected value of lemur is 20.0 pound mass(s)
(defaultMaximumMeasure TwentyFtContainer
    (MeasureFn 24000 Kilogram))		 Transportation.kif 2865-2866 The maximum expected value of twenty foot container is 24000 kilogram(s)
(defaultMaximumMeasure TwentyFtHeavyDutyContainer
    (MeasureFn 30500 Kilogram))		 Transportation.kif 2931-2932 The maximum expected value of twenty foot heavy duty container is 30500 kilogram(s)
(defaultMaximumMeasure FortyFtContainer
    (MeasureFn 30480 Kilogram))		 Transportation.kif 3003-3004 The maximum expected value of forty foot container is 30480 kilogram(s)
(defaultMaximumMeasure DCPowerSource
    (MeasureFn 220 Volt))		 DimensioningAmenities.kif 22-22 The maximum expected value of DC power source is 220 volt(s)
(defaultMaximumMeasure ACPowerSource
    (MeasureFn 220 Volt))		 DimensioningAmenities.kif 25-25 The maximum expected value of ac power source is 220 volt(s)
(defaultMaximumMeasure BathTub
    (MeasureFn 150 UnitedStatesGallon))		 DimensioningAmenities.kif 28-28 The maximum expected value of tub is 150 united states gallon(s)
(defaultMaximumMeasure BathTub
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 36-36 The maximum expected value of tub is 200 pound mass(s)
(defaultMaximumMeasure WhirlpoolTub
    (MeasureFn 150 UnitedStatesGallon))		 DimensioningAmenities.kif 39-39 The maximum expected value of whirlpool tub is 150 united states gallon(s)
(defaultMaximumMeasure WhirlpoolTub
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 47-47 The maximum expected value of whirlpool tub is 200 pound mass(s)
(defaultMaximumMeasure GrecianTub
    (MeasureFn 150 UnitedStatesGallon))		 DimensioningAmenities.kif 50-50 The maximum expected value of grecian tub is 150 united states gallon(s)
(defaultMaximumMeasure GrecianTub
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 58-58 The maximum expected value of grecian tub is 200 pound mass(s)
(defaultMaximumMeasure FourPosterBed
    (MeasureFn 250 PoundMass))		 DimensioningAmenities.kif 67-67 The maximum expected value of four-poster bed is 250 pound mass(s)
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 12 Cup))		 DimensioningAmenities.kif 70-70 The maximum expected value of coffee maker is 12 cup(s)
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 78-78 The maximum expected value of coffee maker is 10 pound mass(s)
(defaultMaximumMeasure Crib
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 87-87 The maximum expected value of crib is 100 pound mass(s)
(defaultMaximumMeasure WiredInternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 90-90 The maximum expected value of internet is 100 1 million bits per seconds(s)
(defaultMaximumMeasure WirelessInternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 93-93 The maximum expected value of wireless internet is 100 1 million bits per seconds(s)
(defaultMaximumMeasure InternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 96-96 The maximum expected value of internet connection is 100 1 million bits per seconds(s)
(defaultMaximumMeasure Desk
    (MeasureFn 500 PoundMass))		 DimensioningAmenities.kif 105-105 The maximum expected value of desk is 500 pound mass(s)
(defaultMaximumMeasure DoubleBed
    (MeasureFn 400 PoundMass))		 DimensioningAmenities.kif 114-114 The maximum expected value of full-sized bed is 400 pound mass(s)
(defaultMaximumMeasure KitchenArea
    (MeasureFn 25 SquareYard))		 DimensioningAmenities.kif 117-117 The maximum expected value of kitchen area is 25 square yard(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners