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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inch

Sigma KEE - Inch
Inchإِنْش, بُوْصة,

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


(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") Merge.kif 7418-7418
(documentation Inch EnglishLanguage "English length unit of inches.") Merge.kif 7417-7417
(instance Inch UnitOfLength) Merge.kif 7416-7416

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


(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 5332-5332

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


(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT ?HEIGHT))
    (not
        (greaterThan ?HEIGHT
            (MeasureFn 120 Inch))))
Mid-level-ontology.kif 350-355
(=>
    (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
        (instance ?X BabyMonitoringSystem)
        (instance ?RX RadioReceiver)
        (instance ?TX Device)
        (engineeringSubcomponent ?TX ?X)
        (engineeringSubcomponent ?RX ?X))
    (and
        (defaultMinimumHeight ?RX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?RX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?RX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?RX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?RX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?RX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?RX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?RX
            (MeasureFn 24 OunceMass))
        (defaultMinimumHeight ?TX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?TX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?TX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?TX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?TX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?TX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?TX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?TX
            (MeasureFn 24 OunceMass))))
DimensioningAmenities.kif 727-750
(=>
    (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
(=>
    (instance ?HOLE GolfHole)
    (exists (?CYLINDER ?CIRCLE)
        (and
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))
Sports.kif 813-821

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


(defaultMaximumHeight AMFMAlarmClock
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 545-545
(defaultMaximumHeight AudioCDSystem
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 554-554
(defaultMaximumHeight BaseballBase
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 956-956
(defaultMaximumHeight BaseballBat
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 947-947
(defaultMaximumHeight BathTub
    (MeasureFn 21 Inch))
DimensioningAmenities.kif 277-277
(defaultMaximumHeight Battery
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 1029-1029
(defaultMaximumHeight BedFrame
    (MeasureFn 48 Inch))
DimensioningAmenities.kif 410-410
(defaultMaximumHeight Bell
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1011-1011
(defaultMaximumHeight BunkBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 419-419
(defaultMaximumHeight CableTelevisionSystem
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 446-446
(defaultMaximumHeight Camera
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 1059-1059
(defaultMaximumHeight ClothesDryer
    (MeasureFn 32 Inch))
DimensioningAmenities.kif 1274-1274
(defaultMaximumHeight Computer
    (MeasureFn 23 Inch))
DimensioningAmenities.kif 680-680
(defaultMaximumHeight CordlessTelephone
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 581-581
(defaultMaximumHeight Crib
    (MeasureFn 60 Inch))
DimensioningAmenities.kif 328-328
(defaultMaximumHeight DVDSystem
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 599-599
(defaultMaximumHeight Desk
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 346-346
(defaultMaximumHeight DiningGuide
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 590-590
(defaultMaximumHeight Dish
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 1068-1068
(defaultMaximumHeight DoubleBed
    (MeasureFn 40 Inch))
DimensioningAmenities.kif 355-355
(defaultMaximumHeight Drum
    (MeasureFn 100 Inch))
DimensioningAmenities.kif 1020-1020
(defaultMaximumHeight ElectricCoffeeMaker
    (MeasureFn 11 Inch))
DimensioningAmenities.kif 319-319
(defaultMaximumHeight ElectronicLock
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 780-780
(defaultMaximumHeight FabricIron
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 644-644
(defaultMaximumHeight FaxMachine
    (MeasureFn 26 Inch))
DimensioningAmenities.kif 608-608

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