Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Inch
Inch(inch)column_inch, in, inch

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


(instance Inch UnitOfLength) Merge.kif 7328-7328 Inch is an instance of unit of length
(documentation Inch EnglishLanguage "English length unit of inches.") Merge.kif 7329-7329 Inch is an instance of unit of length

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


(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29493-29493
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29494-29494
(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29495-29495

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


(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
    (not
        (greaterThan ?HEIGHT 120.0)))		 Mid-level-ontology.kif 194-200 If X is an instance of human adult and the height of X is Y inch(s), then Y is not greater than 120.0
(=>
    (and
        (instance ?H Handgun)
        (instance ?B1 GunBarrel)
        (part ?B1 ?H)
        (length ?B1
            (MeasureFn ?S Inch))
        (instance ?L Longgun)
        (instance ?B2 GunBarrel)
        (part ?B2 ?L)
        (length ?B2
            (MeasureFn ?T Inch)))
    (lessThan ?S ?T))		 Mid-level-ontology.kif 2071-2081 If All of the following hold: (1) X is an instance of hand gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) the length of Y is Z inch(s) (5) W is an instance of long gun (6) V is an instance of gun barrel (7) V is a part of W (8) the length of V is U inch(s), then Z is less than U
(=>
    (and
        (attribute ?X Compact)
        (height ?X
            (MeasureFn ?VALUE Inch))
        (or
            (instance ?X Refrigerator)
            (instance ?X Freezer)))
    (lessThanOrEqualTo ?VALUE 36))		 HouseholdAppliances.kif 1435-1443 If compact is an attribute of X, the height of X is Y inch(s), and X is an instance of refrigerator or X is an instance of freezer, then Y is less than or equal to 36

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


(=>
    (instance ?HOLE GolfHole)
    (exists (?C ?CIR)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C ?CIR)
            (equal ?CIR Circle)
            (diameter ?CIR
                (MeasureFn 4.25 Inch)))))		 Sports.kif 990-1000 If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s)
(=>
    (instance ?T TwentyFtStandardContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2898-2901 If X is an instance of twenty foot standard container, then the height of X is 102 inch(s)
(=>
    (instance ?T TwentyFtHeavyDutyContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2934-2937 If X is an instance of twenty foot heavy duty container, then the height of X is 102 inch(s)
(=>
    (instance ?T TwentyFtHighcubeContainer)
    (height ?T
        (MeasureFn 114 Inch)))		 Transportation.kif 2952-2955 If X is an instance of twenty foot high cube container, then the height of X is 114 inch(s)
(=>
    (instance ?T TwentyFtHalfHeightContainer)
    (height ?T
        (MeasureFn 53 Inch)))		 Transportation.kif 2970-2973 If X is an instance of twenty foot half height container, then the height of X is 53 inch(s)
(=>
    (instance ?T FortyFtStandardContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 3018-3021 If X is an instance of forty foot standard container, then the height of X is 102 inch(s)
(=>
    (instance ?T FortyFtHighcubeContainer)
    (height ?T
        (MeasureFn 114 Inch)))		 Transportation.kif 3036-3039 If X is an instance of forty foot high cube container, then the height of X is 114 inch(s)
(=>
    (instance ?T FortyFtHalfHeightContainer)
    (height ?T
        (MeasureFn 53 Inch)))		 Transportation.kif 3046-3049 If X is an instance of forty foot half height container, then the height of X is 53 inch(s)
(=>
    (instance ?T FortyfiveFtContainer)
    (and
        (length ?T
            (MeasureFn 45 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3056-3064 If X is an instance of forty five foot container, then the length of X is 45 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s)
(=>
    (instance ?T FortyeightFtContainer)
    (and
        (length ?T
            (MeasureFn 48 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3075-3083 If X is an instance of forty eight foot container, then the length of X is 48 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s)
(=>
    (instance ?T FiftythreeFtContainer)
    (and
        (length ?T
            (MeasureFn 53 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3098-3106 If X is an instance of fifty three foot container, then the length of X is 53 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s)

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


(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))		 Merge.kif 7331-7333 equal X inch(s) and X and 0.0254 meter(s)
(defaultMinimumHeight BathTub
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 29-29 The minimum expected height of tub is 15 inch(s)
(defaultMaximumHeight BathTub
    (MeasureFn 21 Inch))		 DimensioningAmenities.kif 30-30 The maximum expected height of tub is 21 inch(s)
(defaultMinimumWidth BathTub
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 31-31 The minimum expected width of tub is 30 inch(s)
(defaultMaximumWidth BathTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 32-32 The maximum expected width of tub is 60 inch(s)
(defaultMinimumLength BathTub
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 33-33 The minimum expected length of tub is 54 inch(s)
(defaultMaximumLength BathTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 34-34 The maximum expected length of tub is 72 inch(s)
(defaultMinimumHeight WhirlpoolTub
    (MeasureFn 20 Inch))		 DimensioningAmenities.kif 40-40 The minimum expected height of whirlpool tub is 20 inch(s)
(defaultMaximumHeight WhirlpoolTub
    (MeasureFn 48 Inch))		 DimensioningAmenities.kif 41-41 The maximum expected height of whirlpool tub is 48 inch(s)
(defaultMinimumWidth WhirlpoolTub
    (MeasureFn 32 Inch))		 DimensioningAmenities.kif 42-42 The minimum expected width of whirlpool tub is 32 inch(s)
(defaultMaximumWidth WhirlpoolTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 43-43 The maximum expected width of whirlpool tub is 60 inch(s)
(defaultMinimumLength WhirlpoolTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 44-44 The minimum expected length of whirlpool tub is 60 inch(s)
(defaultMaximumLength WhirlpoolTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 45-45 The maximum expected length of whirlpool tub is 72 inch(s)
(defaultMinimumHeight GrecianTub
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 51-51 The minimum expected height of grecian tub is 24 inch(s)
(defaultMaximumHeight GrecianTub
    (MeasureFn 48 Inch))		 DimensioningAmenities.kif 52-52 The maximum expected height of grecian tub is 48 inch(s)
(defaultMinimumWidth GrecianTub
    (MeasureFn 32 Inch))		 DimensioningAmenities.kif 53-53 The minimum expected width of grecian tub is 32 inch(s)
(defaultMaximumWidth GrecianTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 54-54 The maximum expected width of grecian tub is 60 inch(s)
(defaultMinimumLength GrecianTub
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 55-55 The minimum expected length of grecian tub is 54 inch(s)
(defaultMaximumLength GrecianTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 56-56 The maximum expected length of grecian tub is 72 inch(s)
(defaultMinimumHeight FourPosterBed
    (MeasureFn 62 Inch))		 DimensioningAmenities.kif 60-60 The minimum expected height of four-poster bed is 62 inch(s)
(defaultMaximumHeight FourPosterBed
    (MeasureFn 84 Inch))		 DimensioningAmenities.kif 61-61 The maximum expected height of four-poster bed is 84 inch(s)
(defaultMinimumWidth FourPosterBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 62-62 The minimum expected width of four-poster bed is 40 inch(s)
(defaultMaximumWidth FourPosterBed
    (MeasureFn 82 Inch))		 DimensioningAmenities.kif 63-63 The maximum expected width of four-poster bed is 82 inch(s)
(defaultMinimumLength FourPosterBed
    (MeasureFn 77 Inch))		 DimensioningAmenities.kif 64-64 The minimum expected length of four-poster bed is 77 inch(s)
(defaultMaximumLength FourPosterBed
    (MeasureFn 88 Inch))		 DimensioningAmenities.kif 65-65 The maximum expected length of four-poster bed is 88 inch(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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners