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

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29478-29478
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29477-29477
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29476-29476

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 (?CYLINDER ?CIRCLE)
        (and
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))
Sports.kif 891-899