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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inch

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 7158-7158
(instance Inch UnitOfLength) Merge.kif 7157-7157

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29473-29473
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29472-29472
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29471-29471

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


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

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


(=>
    (instance ?HOLE GolfHole)
    (exists (?CYLINDER ?CIRCLE)
        (and
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))
Sports.kif 963-971