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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumMeasure
defaultMaximumMeasure

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


s__documentation(s__defaultMaximumMeasure__m,s__EnglishLanguage,'A BinaryPredicate that states the assumed maximum measure of an Object')

Mid-level-ontology.kif 11129-11129
s__domain(s__defaultMaximumMeasure__m,2,s__Quantity)

Mid-level-ontology.kif 11128-11128
s__domainSubclass(s__defaultMaximumMeasure__m,1,s__Object)

Mid-level-ontology.kif 11127-11127
s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 11126-11126

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


s__format(s__EnglishLanguage,s__defaultMaximumMeasure__m,'the maximum expected value of %1 is %2')

domainEnglishFormat.kif 805-805
s__termFormat(s__EnglishLanguage,s__defaultMaximumMeasure__m,'default maximum measure')

Mid-level-ontology.kif 11130-11130

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152
( ! [V__ROBOT,V__MASSLIMIT,V__INSTANCE,V__OBJECT,V__UNITOFMASS,V__NUM] :
   ((s__massLimit(V__ROBOT,V__MASSLIMIT)
     &
     s__instance(V__INSTANCE,V__OBJECT)
   &
   s__subclass(V__OBJECT,s__Object) &
   s__instance(V__UNITOFMASS,s__UnitOfMass) &
   s__defaultMaximumMeasure(V__OBJECT,s__MeasureFn(V__NUM,V__UNITOFMASS))
&
s__greaterThan(V__NUM,V__MASSLIMIT))
=>
(~ s__canCarry(V__ROBOT,V__INSTANCE)))
)

Robot.kif 86-95

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__defaultMaximumMeasure(s__ACPowerSource,s__MeasureFn(220,s__Volt))

DimensioningAmenities.kif 25-25
s__defaultMaximumMeasure(s__AMFMAlarmClock,s__MeasureFn(4,s__PoundMass))

DimensioningAmenities.kif 304-304
s__defaultMaximumMeasure(s__ArrowProjectile,s__MeasureFn(3,s__PoundMass))

DimensioningAmenities.kif 985-985
s__defaultMaximumMeasure(s__AudioCDSystem,s__MeasureFn(6,s__PoundMass))

DimensioningAmenities.kif 313-313
s__defaultMaximumMeasure(s__AutomaticGun,s__MeasureFn(40,s__PoundMass))

DimensioningAmenities.kif 1010-1010
s__defaultMaximumMeasure(s__BaseballBase,s__MeasureFn(10,s__PoundMass))

DimensioningAmenities.kif 715-715
s__defaultMaximumMeasure(s__BaseballBat,s__MeasureFn(2,s__PoundMass))

DimensioningAmenities.kif 706-706
s__defaultMaximumMeasure(s__BathTub,s__MeasureFn(150,s__UnitedStatesGallon))

DimensioningAmenities.kif 28-28
s__defaultMaximumMeasure(s__BathTub,s__MeasureFn(200,s__PoundMass))

DimensioningAmenities.kif 36-36
s__defaultMaximumMeasure(s__Bathroom,s__MeasureFn(16,s__SquareYard))

DimensioningAmenities.kif 126-126
s__defaultMaximumMeasure(s__Baton,s__MeasureFn(1.5,s__PoundMass))

DimensioningAmenities.kif 1047-1047
s__defaultMaximumMeasure(s__Battery,s__MeasureFn(30,s__PoundMass))

DimensioningAmenities.kif 788-788
s__defaultMaximumMeasure(s__BedFrame,s__MeasureFn(200,s__PoundMass))

DimensioningAmenities.kif 169-169
s__defaultMaximumMeasure(s__Bell,s__MeasureFn(20,s__PoundMass))

DimensioningAmenities.kif 770-770
s__defaultMaximumMeasure(s__Bidet,s__MeasureFn(100,s__PoundMass))

DimensioningAmenities.kif 277-277
s__defaultMaximumMeasure(s__BowlingBall,s__MeasureFn(16,s__PoundMass))

DimensioningAmenities.kif 727-727
s__defaultMaximumMeasure(s__Bullet,s__MeasureFn(100,s__Gram))

DimensioningAmenities.kif 980-980
s__defaultMaximumMeasure(s__BunkBed,s__MeasureFn(150,s__PoundMass))

DimensioningAmenities.kif 178-178
s__defaultMaximumMeasure(s__CableTelevisionSystem,s__MeasureFn(100,s__PoundMass))

DimensioningAmenities.kif 205-205
s__defaultMaximumMeasure(s__Camera,s__MeasureFn(15,s__PoundMass))

DimensioningAmenities.kif 818-818
s__defaultMaximumMeasure(s__ClothesDryer,s__MeasureFn(150,s__PoundMass))

DimensioningAmenities.kif 1033-1033
s__defaultMaximumMeasure(s__Clothing,s__MeasureFn(3,s__PoundMass))

DimensioningAmenities.kif 919-919
s__defaultMaximumMeasure(s__Computer,s__MeasureFn(30,s__PoundMass))

DimensioningAmenities.kif 439-439
s__defaultMaximumMeasure(s__CordlessTelephone,s__MeasureFn(7,s__PoundMass))

DimensioningAmenities.kif 340-340
s__defaultMaximumMeasure(s__Crib,s__MeasureFn(100,s__PoundMass))

DimensioningAmenities.kif 87-87

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