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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DateFruit

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

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


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

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 563-575
(=>
    (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 547-559
(=>
    (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 595-607
(=>
    (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 579-591
(=>
    (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 480-503
(=>
    (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 654-671
(=>
    (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 675-693
(=>
    (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 611-628
(=>
    (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 632-650
(=>
    (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 298-298
(defaultMaximumHeight AudioCDSystem
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 307-307
(defaultMaximumHeight BaseballBase
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 709-709
(defaultMaximumHeight BaseballBat
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 700-700
(defaultMaximumHeight BathTub
    (MeasureFn 21 Inch))
DimensioningAmenities.kif 30-30
(defaultMaximumHeight Battery
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 782-782
(defaultMaximumHeight BedFrame
    (MeasureFn 48 Inch))
DimensioningAmenities.kif 163-163
(defaultMaximumHeight Bell
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 764-764
(defaultMaximumHeight BunkBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 172-172
(defaultMaximumHeight CableTelevisionSystem
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 199-199
(defaultMaximumHeight Camera
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 812-812
(defaultMaximumHeight ClothesDryer
    (MeasureFn 32 Inch))
DimensioningAmenities.kif 1027-1027
(defaultMaximumHeight Computer
    (MeasureFn 23 Inch))
DimensioningAmenities.kif 433-433
(defaultMaximumHeight CordlessTelephone
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 334-334
(defaultMaximumHeight Crib
    (MeasureFn 60 Inch))
DimensioningAmenities.kif 81-81
(defaultMaximumHeight DVDSystem
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 352-352
(defaultMaximumHeight Desk
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 99-99
(defaultMaximumHeight DiningGuide
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 343-343
(defaultMaximumHeight Dish
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 821-821
(defaultMaximumHeight DoubleBed
    (MeasureFn 40 Inch))
DimensioningAmenities.kif 108-108
(defaultMaximumHeight Drum
    (MeasureFn 100 Inch))
DimensioningAmenities.kif 773-773
(defaultMaximumHeight ElectricCoffeeMaker
    (MeasureFn 11 Inch))
DimensioningAmenities.kif 72-72
(defaultMaximumHeight ElectronicLock
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 533-533
(defaultMaximumHeight FabricIron
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 397-397
(defaultMaximumHeight FaxMachine
    (MeasureFn 26 Inch))
DimensioningAmenities.kif 361-361

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