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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CubicFoot
CubicFoot(cubic foot)
cu_ft, cubic_foot

appearance as argument number 1
-------------------------


(documentation CubicFoot EnglishLanguage "CubicFoot is a unit for measuring volume, equal to a volume of one foot length in each dimension of length, width, and height.") Mid-level-ontology.kif 11219-11221
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png") pictureList.kif 10787-10787 "http://upload.wikimedia.org/wikipedia/commons/8/81/ Approximation_volume_deformation.png" is a URL depicting cubic foot
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9982-9982 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Vitruvian_Man_Measurements.png" is a URL depicting cubic foot
(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 11218-11218 Cubic foot is an instance of UnitOfVolume

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


(termFormat EnglishLanguage CubicFoot "cubic foot") domainEnglishFormat.kif 3418-3418 "cubic foot" is the printable form of cubic foot in english language

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


(=>
    (and
        (equal ?N4
            (MultiplicationFn ?N1
                (MultiplicationFn ?N2 ?N3)))
        (equal ?QUANT
            (MultiplicationFn
                (MeasureFn ?N1 FootLength)
                (MultiplicationFn
                    (MeasureFn ?N2 FootLength)
                    (MeasureFn ?N3 FootLength)))))
    (equal ?QUANT
        (MeasureFn ?N4 CubicFoot)))
Mid-level-ontology.kif 11231-11241
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) CubicFoot)))
Mid-level-ontology.kif 11251-11255

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


(equal
    (MeasureFn 1 CubicFoot)
    (MultiplicationFn
        (MeasureFn 1 FootLength)
        (MultiplicationFn
            (MeasureFn 1 FootLength)
            (MeasureFn 1 FootLength))))
Mid-level-ontology.kif 11223-11229 1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(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