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


KB Term:  Term intersection
English Word: 

Sigma KEE - Inch
Inchcolumn_inch, in, inch

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


(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") chinese_format.kif 2592-2592
(documentation Inch EnglishLanguage "English length unit of inches.") Merge.kif 7260-7260
(documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") japanese_format.kif 1301-1301
(instance Inch UnitOfLength) Merge.kif 7259-7259 Inch is an instance of UnitOfLength

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29501-29501
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29500-29500
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29499-29499

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


(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
    (not
        (greaterThan ?HEIGHT 120.0)))		 Mid-level-ontology.kif 204-210
(=>
    (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 2002-2012

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 976-986
(=>
    (instance ?T FiftythreeFtContainer)
    (and
        (length ?T
            (MeasureFn 53 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3051-3059
(=>
    (instance ?T FortyFtHalfHeightContainer)
    (height ?T
        (MeasureFn 53 Inch)))		 Transportation.kif 2999-3002
(=>
    (instance ?T FortyFtHighcubeContainer)
    (height ?T
        (MeasureFn 114 Inch)))		 Transportation.kif 2989-2992
(=>
    (instance ?T FortyFtStandardContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2971-2974
(=>
    (instance ?T FortyeightFtContainer)
    (and
        (length ?T
            (MeasureFn 48 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3028-3036
(=>
    (instance ?T FortyfiveFtContainer)
    (and
        (length ?T
            (MeasureFn 45 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3009-3017
(=>
    (instance ?T TwentyFtHalfHeightContainer)
    (height ?T
        (MeasureFn 53 Inch)))		 Transportation.kif 2923-2926
(=>
    (instance ?T TwentyFtHeavyDutyContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2887-2890
(=>
    (instance ?T TwentyFtHighcubeContainer)
    (height ?T
        (MeasureFn 114 Inch)))		 Transportation.kif 2905-2908
(=>
    (instance ?T TwentyFtStandardContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2851-2854