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

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


(termFormat ChineseLanguage Inch "英寸") domainEnglishFormat.kif 29410-29410
(termFormat ChineseTraditionalLanguage Inch "英寸") domainEnglishFormat.kif 29409-29409
(termFormat EnglishLanguage Inch "inch") domainEnglishFormat.kif 29408-29408

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 6889-6891 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 3.0 is open source software produced by Articulate Software and its partners