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 6768-6768
(instance Inch UnitOfLength) Merge.kif 6767-6767 Inch is an instance of UnitOfLength

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29395-29395 "英寸" is the printable form of inch in ChineseLanguage
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29394-29394 "英寸" is the printable form of inch in ChineseTraditionalLanguage
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29393-29393 "inch" is the printable form of inch in english language

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


(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT ?HEIGHT))
    (not
        (greaterThan ?HEIGHT
            (MeasureFn 120 Inch))))
Mid-level-ontology.kif 349-354
(=>
    (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 815-823

statement
-------------------------


(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 6770-6772 A real number inch(s) is equal to the real number and 0.0254 meter(s)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners