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


KB Term:  Term intersection
English Word: 

  defaultMinimumMeasure

 Sigma KEE - defaultMinimumMeasure
defaultMinimumMeasure

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


(instance defaultMinimumMeasure BinaryPredicate) Mid-level-ontology.kif 15062-15062 default minimum measure is an instance of binary predicate
(domainSubclass defaultMinimumMeasure 1 Object) Mid-level-ontology.kif 15063-15063 The number 1 argument of default minimum measure is a subclass of object
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 15064-15064 The number 2 argument of default minimum measure is an instance of quantity
(documentation defaultMinimumMeasure EnglishLanguage "A BinaryPredicate that states the assumed minimum measure of an Object") Mid-level-ontology.kif 15065-15065 The number 2 argument of default minimum measure is an instance of quantity

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


(termFormat EnglishLanguage defaultMinimumMeasure "default minimum measure") Mid-level-ontology.kif 15066-15066
(format EnglishLanguage defaultMinimumMeasure "the minimum expected value of %1 is %2") domainEnglishFormat.kif 3200-3200
(format ChineseTraditionalLanguage defaultMinimumMeasure "%1 的 minimum 預期價值是 %2 ") domainEnglishFormat.kif 3201-3201
(format ChineseLanguage defaultMinimumMeasure "%1 的 minimum 预期价值是 %2 ") domainEnglishFormat.kif 3202-3202

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


(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 15068-15077 If the minimum 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 less than Y has the modal force of unlikely
(=>
    (and
        (defaultMinimumMeasure ?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)
                (lessThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 15079-15090 If the minimum 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 is less than Y has the modal force of unlikely

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


(defaultMinimumMeasure Parrot
    (MeasureFn 0.4 Ounce))		 Mid-level-ontology.kif 33109-33109 The minimum expected value of parrot is 0.4 ounce(s)
(defaultMinimumMeasure Lemur
    (MeasureFn 1.0 Ounce))		 Mid-level-ontology.kif 33125-33125 The minimum expected value of lemur is 1.0 ounce(s)
(defaultMinimumMeasure DCPowerSource
    (MeasureFn 120 Volt))		 DimensioningAmenities.kif 21-21 The minimum expected value of DC power source is 120 volt(s)
(defaultMinimumMeasure ACPowerSource
    (MeasureFn 120 Volt))		 DimensioningAmenities.kif 24-24 The minimum expected value of ac power source is 120 volt(s)
(defaultMinimumMeasure BathTub
    (MeasureFn 40 UnitedStatesGallon))		 DimensioningAmenities.kif 27-27 The minimum expected value of tub is 40 united states gallon(s)
(defaultMinimumMeasure BathTub
    (MeasureFn 70 PoundMass))		 DimensioningAmenities.kif 35-35 The minimum expected value of tub is 70 pound mass(s)
(defaultMinimumMeasure WhirlpoolTub
    (MeasureFn 60 UnitedStatesGallon))		 DimensioningAmenities.kif 38-38 The minimum expected value of whirlpool tub is 60 united states gallon(s)
(defaultMinimumMeasure WhirlpoolTub
    (MeasureFn 130 PoundMass))		 DimensioningAmenities.kif 46-46 The minimum expected value of whirlpool tub is 130 pound mass(s)
(defaultMinimumMeasure GrecianTub
    (MeasureFn 60 UnitedStatesGallon))		 DimensioningAmenities.kif 49-49 The minimum expected value of grecian tub is 60 united states gallon(s)
(defaultMinimumMeasure GrecianTub
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 57-57 The minimum expected value of grecian tub is 100 pound mass(s)
(defaultMinimumMeasure FourPosterBed
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 66-66 The minimum expected value of four-poster bed is 100 pound mass(s)
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 Cup))		 DimensioningAmenities.kif 69-69 The minimum expected value of coffee maker is 1 cup(s)
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 77-77 The minimum expected value of coffee maker is 1 pound mass(s)
(defaultMinimumMeasure Crib
    (MeasureFn 30 PoundMass))		 DimensioningAmenities.kif 86-86 The minimum expected value of crib is 30 pound mass(s)
(defaultMinimumMeasure WiredInternetConnection
    (MeasureFn 56
        (KiloFn BitsPerSecond)))		 DimensioningAmenities.kif 89-89 The minimum expected value of internet is 56 1 thousand bits per seconds(s)
(defaultMinimumMeasure WirelessInternetConnection
    (MeasureFn 56
        (KiloFn BitsPerSecond)))		 DimensioningAmenities.kif 92-92 The minimum expected value of wireless internet is 56 1 thousand bits per seconds(s)
(defaultMinimumMeasure InternetConnection
    (MeasureFn 56
        (KiloFn BitsPerSecond)))		 DimensioningAmenities.kif 95-95 The minimum expected value of internet connection is 56 1 thousand bits per seconds(s)
(defaultMinimumMeasure Desk
    (MeasureFn 25 PoundMass))		 DimensioningAmenities.kif 104-104 The minimum expected value of desk is 25 pound mass(s)
(defaultMinimumMeasure DoubleBed
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 113-113 The minimum expected value of full-sized bed is 100 pound mass(s)
(defaultMinimumMeasure KitchenArea
    (MeasureFn 4 SquareYard))		 DimensioningAmenities.kif 116-116 The minimum expected value of kitchen area is 4 square yard(s)
(defaultMinimumMeasure SittingArea
    (MeasureFn 10 SquareYard))		 DimensioningAmenities.kif 119-119 The minimum expected value of sitting area is 10 square yard(s)
(defaultMinimumMeasure Solarium
    (MeasureFn 4 SquareYard))		 DimensioningAmenities.kif 122-122 The minimum expected value of solarium is 4 square yard(s)
(defaultMinimumMeasure Bathroom
    (MeasureFn 1 SquareYard))		 DimensioningAmenities.kif 125-125 The minimum expected value of bathroom is 1 square yard(s)
(defaultMinimumMeasure IroningBoard
    (MeasureFn 4 PoundMass))		 DimensioningAmenities.kif 132-132 The minimum expected value of ironing board is 4 pound mass(s)
(defaultMinimumMeasure KingBed
    (MeasureFn 150 PoundMass))		 DimensioningAmenities.kif 141-141 The minimum expected value of king-sized bed is 150 pound mass(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