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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inch
Inch(英寸)

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


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

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29519-29519
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29518-29518
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29517-29517

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 2001-2011

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


(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (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 3052-3060
(=>
    (instance ?T FortyFtHalfHeightContainer)
    (height ?T
        (MeasureFn 53 Inch)))		 Transportation.kif 3000-3003
(=>
    (instance ?T FortyFtHighcubeContainer)
    (height ?T
        (MeasureFn 114 Inch)))		 Transportation.kif 2990-2993
(=>
    (instance ?T FortyFtStandardContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2972-2975
(=>
    (instance ?T FortyeightFtContainer)
    (and
        (length ?T
            (MeasureFn 48 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3029-3037
(=>
    (instance ?T FortyfiveFtContainer)
    (and
        (length ?T
            (MeasureFn 45 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3010-3018
(=>
    (instance ?T TwentyFtHalfHeightContainer)
    (height ?T
        (MeasureFn 53 Inch)))		 Transportation.kif 2924-2927
(=>
    (instance ?T TwentyFtHeavyDutyContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2888-2891
(=>
    (instance ?T TwentyFtHighcubeContainer)
    (height ?T
        (MeasureFn 114 Inch)))		 Transportation.kif 2906-2909
(=>
    (instance ?T TwentyFtStandardContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2852-2855