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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Inch
Inch(inch)column_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 7191-7191
(documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") japanese_format.kif 1301-1301
(instance Inch UnitOfLength) Merge.kif 7190-7190 Inch is an instance of unit of length

appearance as argument number 2

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


        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
        (greaterThan ?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217


    (instance ?HOLE GolfHole)
    (exists (?CYLINDER ?CIRCLE)
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))
Sports.kif 964-972