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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMinimumMeasure
defaultMinimumMeasure

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123

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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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

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