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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoundMass

Sigma KEE - PoundMass
PoundMassباوند, رطل إنْكليْزِي,

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


(documentation PoundMass ChineseLanguage "英制质量单位磅。") Merge.kif 7528-7528
(documentation PoundMass EnglishLanguage "English mass unit of pounds.") Merge.kif 7527-7527
(instance PoundMass UnitOfMass) Merge.kif 7526-7526

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


(termFormat EnglishLanguage PoundMass "pound mass") domainEnglishFormat.kif 8251-8251

consequent
-------------------------


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 10939-10945
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
DimensioningAmenities.kif 21-26
(=>
    (and
        (instance ?R RollawayBed)
        (deviceState ?R DeviceClosed))
    (and
        (defaultMinimumHeight ?R
            (MeasureFn 24 Inch))
        (defaultMaximumHeight ?R
            (MeasureFn 36 Inch))
        (defaultMinimumWidth ?R
            (MeasureFn 6 Inch))
        (defaultMaximumWidth ?R
            (MeasureFn 15 Inch))
        (defaultMinimumLength ?R
            (MeasureFn 48 Inch))
        (defaultMaximumLength ?R
            (MeasureFn 60 Inch))
        (defaultMinimumMeasure ?R
            (MeasureFn 20 PoundMass))
        (defaultMaximumMeasure ?R
            (MeasureFn 75 PoundMass))))
DimensioningAmenities.kif 810-822
(=>
    (and
        (instance ?R RollawayBed)
        (deviceState ?R DeviceOpen))
    (and
        (defaultMinimumHeight ?R
            (MeasureFn 12 Inch))
        (defaultMaximumHeight ?R
            (MeasureFn 36 Inch))
        (defaultMinimumWidth ?R
            (MeasureFn 24 Inch))
        (defaultMaximumWidth ?R
            (MeasureFn 36 Inch))
        (defaultMinimumLength ?R
            (MeasureFn 60 Inch))
        (defaultMaximumLength ?R
            (MeasureFn 75 Inch))
        (defaultMinimumMeasure ?R
            (MeasureFn 20 PoundMass))
        (defaultMaximumMeasure ?R
            (MeasureFn 75 PoundMass))))
DimensioningAmenities.kif 794-806
(=>
    (and
        (instance ?S SofaBed)
        (deviceState ?S DeviceClosed))
    (and
        (defaultMinimumHeight ?S
            (MeasureFn 12 Inch))
        (defaultMaximumHeight ?S
            (MeasureFn 36 Inch))
        (defaultMinimumWidth ?S
            (MeasureFn 18 Inch))
        (defaultMaximumWidth ?S
            (MeasureFn 36 Inch))
        (defaultMinimumLength ?S
            (MeasureFn 38 Inch))
        (defaultMaximumLength ?S
            (MeasureFn 70 Inch))
        (defaultMinimumMeasure ?S
            (MeasureFn 50 PoundMass))
        (defaultMaximumMeasure ?S
            (MeasureFn 300 PoundMass))))
DimensioningAmenities.kif 842-854
(=>
    (and
        (instance ?S SofaBed)
        (deviceState ?S DeviceOpen))
    (and
        (defaultMinimumHeight ?S
            (MeasureFn 12 Inch))
        (defaultMaximumHeight ?S
            (MeasureFn 48 Inch))
        (defaultMinimumWidth ?S
            (MeasureFn 24 Inch))
        (defaultMaximumWidth ?S
            (MeasureFn 70 Inch))
        (defaultMinimumLength ?S
            (MeasureFn 71 Inch))
        (defaultMaximumLength ?S
            (MeasureFn 84 Inch))
        (defaultMinimumMeasure ?S
            (MeasureFn 50 PoundMass))
        (defaultMaximumMeasure ?S
            (MeasureFn 300 PoundMass))))
DimensioningAmenities.kif 826-838
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?A AirConditioner)
        (instance ?CLCT Collection)
        (memberCount ?CLCT 1)
        (instance ?E Cooling)
        (instrument ?E ?A)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?A
            (MeasureFn 18 Inch))
        (defaultMaximumHeight ?A
            (MeasureFn 28 Inch))
        (defaultMinimumWidth ?A
            (MeasureFn 12 Inch))
        (defaultMaximumWidth ?A
            (MeasureFn 21 Inch))
        (defaultMinimumLength ?A
            (MeasureFn 21 Inch))
        (defaultMaximumLength ?A
            (MeasureFn 36 Inch))
        (defaultMinimumMeasure ?A
            (MeasureFn 75 PoundMass))
        (defaultMaximumMeasure ?A
            (MeasureFn 250 PoundMass))))
DimensioningAmenities.kif 901-918
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?A AirConditioner)
        (instance ?CLCT Collection)
        (memberCount ?CLCT ?C)
        (greaterThan ?C 1)
        (instance ?E Cooling)
        (instrument ?E ?A)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?A
            (MeasureFn 28 Inch))
        (defaultMaximumHeight ?A
            (MeasureFn 60 Inch))
        (defaultMinimumWidth ?A
            (MeasureFn 21 Inch))
        (defaultMaximumWidth ?A
            (MeasureFn 60 Inch))
        (defaultMinimumLength ?A
            (MeasureFn 36 Inch))
        (defaultMaximumLength ?A
            (MeasureFn 60 Inch))
        (defaultMinimumMeasure ?A
            (MeasureFn 75 PoundMass))
        (defaultMaximumMeasure ?A
            (MeasureFn 500 PoundMass))))
DimensioningAmenities.kif 922-940
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?H RoomHeater)
        (instance ?CLCT Collection)
        (memberCount ?CLCT 1)
        (instance ?E Heating)
        (instrument ?E ?H)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?H
            (MeasureFn 5 Inch))
        (defaultMaximumHeight ?H
            (MeasureFn 16 Inch))
        (defaultMinimumWidth ?H
            (MeasureFn 5 Inch))
        (defaultMaximumWidth ?H
            (MeasureFn 7 Inch))
        (defaultMinimumLength ?H
            (MeasureFn 18 Inch))
        (defaultMaximumLength ?H
            (MeasureFn 26 Inch))
        (defaultMinimumMeasure ?H
            (MeasureFn 11 PoundMass))
        (defaultMaximumMeasure ?H
            (MeasureFn 30 PoundMass))))
DimensioningAmenities.kif 858-875
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?H RoomHeater)
        (instance ?CLCT Collection)
        (memberCount ?CLCT ?C)
        (greaterThan ?C 1)
        (instance ?E Heating)
        (instrument ?E ?H)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?H
            (MeasureFn 16 Inch))
        (defaultMaximumHeight ?H
            (MeasureFn 40 Inch))
        (defaultMinimumWidth ?H
            (MeasureFn 10 Inch))
        (defaultMaximumWidth ?H
            (MeasureFn 26 Inch))
        (defaultMinimumLength ?H
            (MeasureFn 26 Inch))
        (defaultMaximumLength ?H
            (MeasureFn 45 Inch))
        (defaultMinimumMeasure ?H
            (MeasureFn 30 PoundMass))
        (defaultMaximumMeasure ?H
            (MeasureFn 200 PoundMass))))
DimensioningAmenities.kif 879-897
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240) PoundMass)))
Mid-level-ontology.kif 10952-10956
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2000) PoundMass)))
Mid-level-ontology.kif 10925-10929
(=>
    (instance ?DragonWeapon DragonWeapon)
    (weight ?DragonWeapon
        (MeasureFn 33.9 PoundMass)))
MilitaryDevices.kif 706-709
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (weight ?JavelinWeapon
        (MeasureFn 49.5 PoundMass)))
MilitaryDevices.kif 765-768
(=>
    (instance ?X HandGrenade)
    (and
        (measure ?X
            (MeasureFn ?N PoundMass))
        (lessThan ?N 10)))
Mid-level-ontology.kif 19239-19243

statement
-------------------------


(defaultMaximumMeasure AMFMAlarmClock
    (MeasureFn 4 PoundMass))
DimensioningAmenities.kif 551-551
(defaultMaximumMeasure ArrowProjectile
    (MeasureFn 3 PoundMass))
DimensioningAmenities.kif 1232-1232
(defaultMaximumMeasure AudioCDSystem
    (MeasureFn 6 PoundMass))
DimensioningAmenities.kif 560-560
(defaultMaximumMeasure AutomaticGun
    (MeasureFn 40 PoundMass))
DimensioningAmenities.kif 1257-1257
(defaultMaximumMeasure BaseballBase
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 962-962
(defaultMaximumMeasure BaseballBat
    (MeasureFn 2 PoundMass))
DimensioningAmenities.kif 953-953
(defaultMaximumMeasure BathTub
    (MeasureFn 200 PoundMass))
DimensioningAmenities.kif 283-283
(defaultMaximumMeasure Baton
    (MeasureFn 1.5 PoundMass))
DimensioningAmenities.kif 1294-1294
(defaultMaximumMeasure Battery
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 1035-1035
(defaultMaximumMeasure BedFrame
    (MeasureFn 200 PoundMass))
DimensioningAmenities.kif 416-416
(defaultMaximumMeasure Bell
    (MeasureFn 20 PoundMass))
DimensioningAmenities.kif 1017-1017
(defaultMaximumMeasure Bidet
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 524-524
(defaultMaximumMeasure BowlingBall
    (MeasureFn 16 PoundMass))
DimensioningAmenities.kif 974-974
(defaultMaximumMeasure BunkBed
    (MeasureFn 150 PoundMass))
DimensioningAmenities.kif 425-425
(defaultMaximumMeasure CableTelevisionSystem
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 452-452
(defaultMaximumMeasure Camera
    (MeasureFn 15 PoundMass))
DimensioningAmenities.kif 1065-1065
(defaultMaximumMeasure ClothesDryer
    (MeasureFn 150 PoundMass))
DimensioningAmenities.kif 1280-1280
(defaultMaximumMeasure Clothing
    (MeasureFn 3 PoundMass))
DimensioningAmenities.kif 1166-1166
(defaultMaximumMeasure Computer
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 686-686
(defaultMaximumMeasure CordlessTelephone
    (MeasureFn 7 PoundMass))
DimensioningAmenities.kif 587-587
(defaultMaximumMeasure Crib
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 334-334
(defaultMaximumMeasure DVDSystem
    (MeasureFn 13 PoundMass))
DimensioningAmenities.kif 605-605
(defaultMaximumMeasure Desk
    (MeasureFun 500 PoundMass))
DimensioningAmenities.kif 352-352
(defaultMaximumMeasure DiningGuide
    (MeasureFn 2 PoundMass))
DimensioningAmenities.kif 596-596
(defaultMaximumMeasure Dish
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 1074-1074

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners