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 7192-7192
(documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") japanese_format.kif 1301-1301
(instance Inch UnitOfLength) Merge.kif 7191-7191 Inch è un' istanza di UnitOfLength

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29491-29491
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29490-29490
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29489-29489

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


(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
    (not
        (greaterThan ?HEIGHT 120.0)))
Mid-level-ontology.kif 204-210

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


(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C Circle)
            (diameter ?C
                (MeasureFn 4.25 Inch)))))
Sports.kif 964-973