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 13635-13637
(documentation CubicFoot EnglishLanguage "SquareFoot is a unit for measuring area, equal to one foot length by one foot width.") Mid-level-ontology.kif 13625-13626
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png") pictureList.kif 10766-10766
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9964-9964
(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 13634-13634 Cubic foot is an instance of unit of volume

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


(termFormat ChineseLanguage CubicFoot "立方英尺") domainEnglishFormat.kif 17982-17982
(termFormat ChineseTraditionalLanguage CubicFoot "立方英尺") domainEnglishFormat.kif 17981-17981
(termFormat EnglishLanguage CubicFoot "cubic foot") domainEnglishFormat.kif 17980-17980

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100.0) CubicFoot)))
Mid-level-ontology.kif 13668-13672


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