defaultMaximumMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 211-211
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 210-210	The number 2 argument of default maximum measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 209-209	The number 1 argument of default maximum measure is a subclass of object
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 208-208	default maximum measure is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 805-805
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 212-212	"default maximum measure" is the printable form of default maximum measure in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 213-222	If the maximum 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 greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 223-234	If the maximum 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 NonCompositeUnitMeasure 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 greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Robot.kif 86-95	If a CarryBot can carry up to a quantity and an object is an instance of another kind of object and another kind of object is a subclass of object and an unit of measure is an instance of UnitOfMass and the maximum expected value of the other kind of object is a real number the unit of measure(s) and the real number is greater than the quantity, then not the CarryBot can carry the object

consequent

No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 810-822	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 794-806	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 842-854	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 826-838	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 727-750	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 901-918	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 922-940	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 858-875	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)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 879-897	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

No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 272-272	The maximum expected value of ac power source is 220 volt(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 551-551	The maximum expected value of am / fm alarm clock is 4 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1232-1232	The maximum expected value of arrow projectile is 3 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 560-560	The maximum expected value of cd player is 6 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1257-1257	The maximum expected value of automatic gun is 40 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 962-962	The maximum expected value of baseball base is 10 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 953-953	The maximum expected value of baseball bat is 2 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 275-275	The maximum expected value of tub is 150 united states gallon(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 283-283	The maximum expected value of tub is 200 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 373-373	The maximum expected value of bathroom is 16 square yard(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1294-1294	The maximum expected value of baton is 1.5 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1035-1035	The maximum expected value of battery is 30 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 416-416	The maximum expected value of bed frame is 200 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1017-1017	The maximum expected value of bell is 20 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 524-524	The maximum expected value of bidet is 100 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 974-974	The maximum expected value of bowling ball is 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1227-1227	The maximum expected value of bullet is 100 gram(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 425-425	The maximum expected value of bunk bed is 150 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 452-452	The maximum expected value of cable television system is 100 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1065-1065	The maximum expected value of camera is 15 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1280-1280	The maximum expected value of clothes dryer is 150 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 1166-1166	The maximum expected value of clothing is 3 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 686-686	The maximum expected value of computer is 30 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 587-587	The maximum expected value of cordless telephone is 7 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 334-334	The maximum expected value of crib is 100 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: