defaultMinimumMeasure - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__defaultMinimumMeasure__m,s__EnglishLanguage,'A BinaryPredicate that states the assumed minimum measure of an Object')	Mid-level-ontology.kif 11100-11100
s__domain(s__defaultMinimumMeasure__m,2,s__Quantity)	Mid-level-ontology.kif 11099-11099	The number 2 argument of default minimum measure is an instance of quantity
s__domainSubclass(s__defaultMinimumMeasure__m,1,s__Object)	Mid-level-ontology.kif 11098-11098	The number 1 argument of default minimum measure is a subclass of object
s__instance(s__BinaryPredicate,s__SetOrClass)	Mid-level-ontology.kif 11097-11097	default minimum measure is an instance of binary predicate

appearance as argument number 2

s__format(s__EnglishLanguage,s__defaultMinimumMeasure__m,'the minimum expected value of %1 is %2')	domainEnglishFormat.kif 811-811
s__termFormat(s__EnglishLanguage,s__defaultMinimumMeasure__m,'default minimum measure')	Mid-level-ontology.kif 11101-11101	"default minimum measure" is the printable form of default minimum measure in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11102-11111	If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11112-11123	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is less than the real number the unit of measure(s) has the modal force of unlikely

consequent

( ! [V__R] : ((s__instance(V__R,s__RollawayBed) & s__deviceState(V__R,s__DeviceClosed)) => (s__defaultMinimumHeight(V__R,s__MeasureFn(24,s__Inch)) & s__defaultMaximumHeight(V__R,s__MeasureFn(36,s__Inch)) & s__defaultMinimumWidth(V__R,s__MeasureFn(6,s__Inch)) & s__defaultMaximumWidth(V__R,s__MeasureFn(15,s__Inch)) & s__defaultMinimumLength(V__R,s__MeasureFn(48,s__Inch)) & s__defaultMaximumLength(V__R,s__MeasureFn(60,s__Inch)) & s__defaultMinimumMeasure(V__R,s__MeasureFn(20,s__PoundMass)) & s__defaultMaximumMeasure(V__R,s__MeasureFn(75,s__PoundMass)))) )	DimensioningAmenities.kif 563-575	If a kind of object is an instance of rollaway bed and device closed is a device state of a kind of object, then the minimum expected height of the kind of object is 24 inch(s) and the maximum expected height of the kind of object is 36 inch(s) and the minimum expected width of the kind of object is 6 inch(s) and the maximum expected width of the kind of object is 15 inch(s) and the minimum expected length of the kind of object is 48 inch(s) and the maximum expected length of the kind of object is 60 inch(s) and the minimum expected value of the kind of object is 20 pound mass(s) and the maximum expected value of the kind of object is 75 pound mass(s)
( ! [V__R] : ((s__instance(V__R,s__RollawayBed) & s__deviceState(V__R,s__DeviceOpen)) => (s__defaultMinimumHeight(V__R,s__MeasureFn(12,s__Inch)) & s__defaultMaximumHeight(V__R,s__MeasureFn(36,s__Inch)) & s__defaultMinimumWidth(V__R,s__MeasureFn(24,s__Inch)) & s__defaultMaximumWidth(V__R,s__MeasureFn(36,s__Inch)) & s__defaultMinimumLength(V__R,s__MeasureFn(60,s__Inch)) & s__defaultMaximumLength(V__R,s__MeasureFn(75,s__Inch)) & s__defaultMinimumMeasure(V__R,s__MeasureFn(20,s__PoundMass)) & s__defaultMaximumMeasure(V__R,s__MeasureFn(75,s__PoundMass)))) )	DimensioningAmenities.kif 547-559	If a kind of object is an instance of rollaway bed and device open is a device state of a kind of object, then the minimum expected height of the kind of object is 12 inch(s) and the maximum expected height of the kind of object is 36 inch(s) and the minimum expected width of the kind of object is 24 inch(s) and the maximum expected width of the kind of object is 36 inch(s) and the minimum expected length of the kind of object is 60 inch(s) and the maximum expected length of the kind of object is 75 inch(s) and the minimum expected value of the kind of object is 20 pound mass(s) and the maximum expected value of the kind of object is 75 pound mass(s)
( ! [V__S] : ((s__instance(V__S,s__SofaBed) & s__deviceState(V__S,s__DeviceClosed)) => (s__defaultMinimumHeight(V__S,s__MeasureFn(12,s__Inch)) & s__defaultMaximumHeight(V__S,s__MeasureFn(36,s__Inch)) & s__defaultMinimumWidth(V__S,s__MeasureFn(18,s__Inch)) & s__defaultMaximumWidth(V__S,s__MeasureFn(36,s__Inch)) & s__defaultMinimumLength(V__S,s__MeasureFn(38,s__Inch)) & s__defaultMaximumLength(V__S,s__MeasureFn(70,s__Inch)) & s__defaultMinimumMeasure(V__S,s__MeasureFn(50,s__PoundMass)) & s__defaultMaximumMeasure(V__S,s__MeasureFn(300,s__PoundMass)))) )	DimensioningAmenities.kif 595-607	If a kind of object is an instance of sofa bed and device closed is a device state of a kind of object, then the minimum expected height of the kind of object is 12 inch(s) and the maximum expected height of the kind of object is 36 inch(s) and the minimum expected width of the kind of object is 18 inch(s) and the maximum expected width of the kind of object is 36 inch(s) and the minimum expected length of the kind of object is 38 inch(s) and the maximum expected length of the kind of object is 70 inch(s) and the minimum expected value of the kind of object is 50 pound mass(s) and the maximum expected value of the kind of object is 300 pound mass(s)
( ! [V__S] : ((s__instance(V__S,s__SofaBed) & s__deviceState(V__S,s__DeviceOpen)) => (s__defaultMinimumHeight(V__S,s__MeasureFn(12,s__Inch)) & s__defaultMaximumHeight(V__S,s__MeasureFn(48,s__Inch)) & s__defaultMinimumWidth(V__S,s__MeasureFn(24,s__Inch)) & s__defaultMaximumWidth(V__S,s__MeasureFn(70,s__Inch)) & s__defaultMinimumLength(V__S,s__MeasureFn(71,s__Inch)) & s__defaultMaximumLength(V__S,s__MeasureFn(84,s__Inch)) & s__defaultMinimumMeasure(V__S,s__MeasureFn(50,s__PoundMass)) & s__defaultMaximumMeasure(V__S,s__MeasureFn(300,s__PoundMass)))) )	DimensioningAmenities.kif 579-591	If a kind of object is an instance of sofa bed and device open is a device state of a kind of object, then the minimum expected height of the kind of object is 12 inch(s) and the maximum expected height of the kind of object is 48 inch(s) and the minimum expected width of the kind of object is 24 inch(s) and the maximum expected width of the kind of object is 70 inch(s) and the minimum expected length of the kind of object is 71 inch(s) and the maximum expected length of the kind of object is 84 inch(s) and the minimum expected value of the kind of object is 50 pound mass(s) and the maximum expected value of the kind of object is 300 pound mass(s)
( ! [V__X,V__RX,V__TX] : ((s__instance(V__X,s__BabyMonitoringSystem) & s__instance(V__RX,s__RadioReceiver) & s__instance(V__TX,s__Device) & s__engineeringSubcomponent(V__TX,V__X) & s__engineeringSubcomponent(V__RX,V__X)) => (s__defaultMinimumHeight(V__RX,s__MeasureFn(0.8,s__Inch)) & s__defaultMaximumHeight(V__RX,s__MeasureFn(2.5,s__Inch)) & s__defaultMinimumWidth(V__RX,s__MeasureFn(2,s__Inch)) & s__defaultMaximumWidth(V__RX,s__MeasureFn(4,s__Inch)) & s__defaultMinimumLength(V__RX,s__MeasureFn(3,s__Inch)) & s__defaultMaximumLength(V__RX,s__MeasureFn(6,s__Inch)) & s__defaultMinimumMeasure(V__RX,s__MeasureFn(8,s__OunceMass)) & s__defaultMaximumMeasure(V__RX,s__MeasureFn(24,s__OunceMass)) & s__defaultMinimumHeight(V__TX,s__MeasureFn(0.8,s__Inch)) & s__defaultMaximumHeight(V__TX,s__MeasureFn(2.5,s__Inch)) & s__defaultMinimumWidth(V__TX,s__MeasureFn(2,s__Inch)) & s__defaultMaximumWidth(V__TX,s__MeasureFn(4,s__Inch)) & s__defaultMinimumLength(V__TX,s__MeasureFn(3,s__Inch)) & s__defaultMaximumLength(V__TX,s__MeasureFn(6,s__Inch)) & s__defaultMinimumMeasure(V__TX,s__MeasureFn(8,s__OunceMass)) & s__defaultMaximumMeasure(V__TX,s__MeasureFn(24,s__OunceMass)))) )	DimensioningAmenities.kif 480-503	If an engineering component is an instance of baby monitor and a kind of object is an instance of radio receiver and another kind of object is an instance of device and another kind of object is a component of the engineering component and a kind of object is a component of the engineering component, then the minimum expected height of the kind of object is 0.8 inch(s) and the maximum expected height of the kind of object is 2.5 inch(s) and the minimum expected width of the kind of object is 2 inch(s) and the maximum expected width of the kind of object is 4 inch(s) and the minimum expected length of the kind of object is 3 inch(s) and the maximum expected length of the kind of object is 6 inch(s) and the minimum expected value of the kind of object is 8 Ounce(s) and the maximum expected value of the kind of object is 24 Ounce(s) and the minimum expected height of the other kind of object is 0.8 inch(s) and the maximum expected height of the other kind of object is 2.5 inch(s) and the minimum expected width of the other kind of object is 2 inch(s) and the maximum expected width of the other kind of object is 4 inch(s) and the minimum expected length of the other kind of object is 3 inch(s) and the maximum expected length of the other kind of object is 6 inch(s) and the minimum expected value of the other kind of object is 8 Ounce(s) and the maximum expected value of the other kind of object is 24 Ounce(s)
( ! [V__CLCT,V__A,V__E] : ((s__memberType(V__CLCT,s__Room) & s__instance(V__A,s__AirConditioner) & s__instance(V__CLCT,s__Collection) & s__memberCount(V__CLCT,1) & s__instance(V__E,s__Cooling) & s__instrument(V__E,V__A) & s__patient(V__E,V__CLCT)) => (s__defaultMinimumHeight(V__A,s__MeasureFn(18,s__Inch)) & s__defaultMaximumHeight(V__A,s__MeasureFn(28,s__Inch)) & s__defaultMinimumWidth(V__A,s__MeasureFn(12,s__Inch)) & s__defaultMaximumWidth(V__A,s__MeasureFn(21,s__Inch)) & s__defaultMinimumLength(V__A,s__MeasureFn(21,s__Inch)) & s__defaultMaximumLength(V__A,s__MeasureFn(36,s__Inch)) & s__defaultMinimumMeasure(V__A,s__MeasureFn(75,s__PoundMass)) & s__defaultMaximumMeasure(V__A,s__MeasureFn(250,s__PoundMass)))) )	DimensioningAmenities.kif 654-671	If room is a member type of a collection and a kind of object is an instance of air conditioner and the collection is an instance of collection and 1 is a member count of the collection and a process is an instance of cooling and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 18 inch(s) and the maximum expected height of the kind of object is 28 inch(s) and the minimum expected width of the kind of object is 12 inch(s) and the maximum expected width of the kind of object is 21 inch(s) and the minimum expected length of the kind of object is 21 inch(s) and the maximum expected length of the kind of object is 36 inch(s) and the minimum expected value of the kind of object is 75 pound mass(s) and the maximum expected value of the kind of object is 250 pound mass(s)
( ! [V__CLCT,V__A,V__C,V__E] : ((s__memberType(V__CLCT,s__Room) & s__instance(V__A,s__AirConditioner) & s__instance(V__CLCT,s__Collection) & s__memberCount(V__CLCT,V__C) & s__greaterThan(V__C,1) & s__instance(V__E,s__Cooling) & s__instrument(V__E,V__A) & s__patient(V__E,V__CLCT)) => (s__defaultMinimumHeight(V__A,s__MeasureFn(28,s__Inch)) & s__defaultMaximumHeight(V__A,s__MeasureFn(60,s__Inch)) & s__defaultMinimumWidth(V__A,s__MeasureFn(21,s__Inch)) & s__defaultMaximumWidth(V__A,s__MeasureFn(60,s__Inch)) & s__defaultMinimumLength(V__A,s__MeasureFn(36,s__Inch)) & s__defaultMaximumLength(V__A,s__MeasureFn(60,s__Inch)) & s__defaultMinimumMeasure(V__A,s__MeasureFn(75,s__PoundMass)) & s__defaultMaximumMeasure(V__A,s__MeasureFn(500,s__PoundMass)))) )	DimensioningAmenities.kif 675-693	If room is a member type of a collection and a kind of object is an instance of air conditioner and the collection is an instance of collection and an integer is a member count of the collection and the integer is greater than 1 and a process is an instance of cooling and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 28 inch(s) and the maximum expected height of the kind of object is 60 inch(s) and the minimum expected width of the kind of object is 21 inch(s) and the maximum expected width of the kind of object is 60 inch(s) and the minimum expected length of the kind of object is 36 inch(s) and the maximum expected length of the kind of object is 60 inch(s) and the minimum expected value of the kind of object is 75 pound mass(s) and the maximum expected value of the kind of object is 500 pound mass(s)
( ! [V__CLCT,V__H,V__E] : ((s__memberType(V__CLCT,s__Room) & s__instance(V__H,s__RoomHeater) & s__instance(V__CLCT,s__Collection) & s__memberCount(V__CLCT,1) & s__instance(V__E,s__Heating) & s__instrument(V__E,V__H) & s__patient(V__E,V__CLCT)) => (s__defaultMinimumHeight(V__H,s__MeasureFn(5,s__Inch)) & s__defaultMaximumHeight(V__H,s__MeasureFn(16,s__Inch)) & s__defaultMinimumWidth(V__H,s__MeasureFn(5,s__Inch)) & s__defaultMaximumWidth(V__H,s__MeasureFn(7,s__Inch)) & s__defaultMinimumLength(V__H,s__MeasureFn(18,s__Inch)) & s__defaultMaximumLength(V__H,s__MeasureFn(26,s__Inch)) & s__defaultMinimumMeasure(V__H,s__MeasureFn(11,s__PoundMass)) & s__defaultMaximumMeasure(V__H,s__MeasureFn(30,s__PoundMass)))) )	DimensioningAmenities.kif 611-628	If room is a member type of a collection and a kind of object is an instance of room heater and the collection is an instance of collection and 1 is a member count of the collection and a process is an instance of heating and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 5 inch(s) and the maximum expected height of the kind of object is 16 inch(s) and the minimum expected width of the kind of object is 5 inch(s) and the maximum expected width of the kind of object is 7 inch(s) and the minimum expected length of the kind of object is 18 inch(s) and the maximum expected length of the kind of object is 26 inch(s) and the minimum expected value of the kind of object is 11 pound mass(s) and the maximum expected value of the kind of object is 30 pound mass(s)
( ! [V__CLCT,V__H,V__C,V__E] : ((s__memberType(V__CLCT,s__Room) & s__instance(V__H,s__RoomHeater) & s__instance(V__CLCT,s__Collection) & s__memberCount(V__CLCT,V__C) & s__greaterThan(V__C,1) & s__instance(V__E,s__Heating) & s__instrument(V__E,V__H) & s__patient(V__E,V__CLCT)) => (s__defaultMinimumHeight(V__H,s__MeasureFn(16,s__Inch)) & s__defaultMaximumHeight(V__H,s__MeasureFn(40,s__Inch)) & s__defaultMinimumWidth(V__H,s__MeasureFn(10,s__Inch)) & s__defaultMaximumWidth(V__H,s__MeasureFn(26,s__Inch)) & s__defaultMinimumLength(V__H,s__MeasureFn(26,s__Inch)) & s__defaultMaximumLength(V__H,s__MeasureFn(45,s__Inch)) & s__defaultMinimumMeasure(V__H,s__MeasureFn(30,s__PoundMass)) & s__defaultMaximumMeasure(V__H,s__MeasureFn(200,s__PoundMass)))) )	DimensioningAmenities.kif 632-650	If room is a member type of a collection and a kind of object is an instance of room heater and the collection is an instance of collection and an integer is a member count of the collection and the integer is greater than 1 and a process is an instance of heating and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 16 inch(s) and the maximum expected height of the kind of object is 40 inch(s) and the minimum expected width of the kind of object is 10 inch(s) and the maximum expected width of the kind of object is 26 inch(s) and the minimum expected length of the kind of object is 26 inch(s) and the maximum expected length of the kind of object is 45 inch(s) and the minimum expected value of the kind of object is 30 pound mass(s) and the maximum expected value of the kind of object is 200 pound mass(s)

appearance as argument number 0

s__defaultMinimumMeasure(s__ACPowerSource,s__MeasureFn(120,s__Volt))	DimensioningAmenities.kif 24-24	The minimum expected value of ac power source is 120 volt(s)
s__defaultMinimumMeasure(s__AMFMAlarmClock,s__MeasureFn(1,s__PoundMass))	DimensioningAmenities.kif 303-303	The minimum expected value of am / fm alarm clock is 1 pound mass(s)
s__defaultMinimumMeasure(s__ArrowProjectile,s__MeasureFn(0.5,s__PoundMass))	DimensioningAmenities.kif 984-984	The minimum expected value of arrow projectile is 0.5 pound mass(s)
s__defaultMinimumMeasure(s__AudioCDSystem,s__MeasureFn(1,s__PoundMass))	DimensioningAmenities.kif 312-312	The minimum expected value of cd player is 1 pound mass(s)
s__defaultMinimumMeasure(s__AutomaticGun,s__MeasureFn(5,s__PoundMass))	DimensioningAmenities.kif 1009-1009	The minimum expected value of automatic gun is 5 pound mass(s)
s__defaultMinimumMeasure(s__BaseballBase,s__MeasureFn(0.5,s__PoundMass))	DimensioningAmenities.kif 714-714	The minimum expected value of baseball base is 0.5 pound mass(s)
s__defaultMinimumMeasure(s__BaseballBat,s__MeasureFn(1,s__PoundMass))	DimensioningAmenities.kif 705-705	The minimum expected value of baseball bat is 1 pound mass(s)
s__defaultMinimumMeasure(s__BathTub,s__MeasureFn(40,s__UnitedStatesGallon))	DimensioningAmenities.kif 27-27	The minimum expected value of tub is 40 united states gallon(s)
s__defaultMinimumMeasure(s__BathTub,s__MeasureFn(70,s__PoundMass))	DimensioningAmenities.kif 35-35	The minimum expected value of tub is 70 pound mass(s)
s__defaultMinimumMeasure(s__Bathroom,s__MeasureFn(1,s__SquareYard))	DimensioningAmenities.kif 125-125	The minimum expected value of bathroom is 1 square yard(s)
s__defaultMinimumMeasure(s__Baton,s__MeasureFn(0.5,s__PoundMass))	DimensioningAmenities.kif 1046-1046	The minimum expected value of baton is 0.5 pound mass(s)
s__defaultMinimumMeasure(s__Battery,s__MeasureFn(1,s__OunceMass))	DimensioningAmenities.kif 787-787	The minimum expected value of battery is 1 Ounce(s)
s__defaultMinimumMeasure(s__BedFrame,s__MeasureFn(20,s__PoundMass))	DimensioningAmenities.kif 168-168	The minimum expected value of bed frame is 20 pound mass(s)
s__defaultMinimumMeasure(s__Bell,s__MeasureFn(1,s__PoundMass))	DimensioningAmenities.kif 769-769	The minimum expected value of bell is 1 pound mass(s)
s__defaultMinimumMeasure(s__Bidet,s__MeasureFn(4,s__PoundMass))	DimensioningAmenities.kif 276-276	The minimum expected value of bidet is 4 pound mass(s)
s__defaultMinimumMeasure(s__BowlingBall,s__MeasureFn(2,s__PoundMass))	DimensioningAmenities.kif 726-726	The minimum expected value of bowling ball is 2 pound mass(s)
s__defaultMinimumMeasure(s__Bullet,s__MeasureFn(10,s__Gram))	DimensioningAmenities.kif 979-979	The minimum expected value of bullet is 10 gram(s)
s__defaultMinimumMeasure(s__BunkBed,s__MeasureFn(60,s__PoundMass))	DimensioningAmenities.kif 177-177	The minimum expected value of bunk bed is 60 pound mass(s)
s__defaultMinimumMeasure(s__CableTelevisionSystem,s__MeasureFn(10,s__PoundMass))	DimensioningAmenities.kif 204-204	The minimum expected value of cable television system is 10 pound mass(s)
s__defaultMinimumMeasure(s__Camera,s__MeasureFn(1,s__PoundMass))	DimensioningAmenities.kif 817-817	The minimum expected value of camera is 1 pound mass(s)
s__defaultMinimumMeasure(s__ClothesDryer,s__MeasureFn(45,s__PoundMass))	DimensioningAmenities.kif 1032-1032	The minimum expected value of clothes dryer is 45 pound mass(s)
s__defaultMinimumMeasure(s__Clothing,s__MeasureFn(0.1,s__PoundMass))	DimensioningAmenities.kif 918-918	The minimum expected value of clothing is 0.1 pound mass(s)
s__defaultMinimumMeasure(s__Computer,s__MeasureFn(5,s__PoundMass))	DimensioningAmenities.kif 438-438	The minimum expected value of computer is 5 pound mass(s)
s__defaultMinimumMeasure(s__CordlessTelephone,s__MeasureFn(3,s__PoundMass))	DimensioningAmenities.kif 339-339	The minimum expected value of cordless telephone is 3 pound mass(s)
s__defaultMinimumMeasure(s__Crib,s__MeasureFn(30,s__PoundMass))	DimensioningAmenities.kif 86-86	The minimum expected value of crib is 30 pound mass(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: