| 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 13105-13107 | |
| (documentation CubicFoot EnglishLanguage "SquareFoot is a unit for measuring area, equal to one foot length by one foot width.") | Mid-level-ontology.kif 13095-13096 | |
| (externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png") | pictureList.kif 10776-10776 | |
| (externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") | pictureList.kif 9972-9972 | |
| (instance CubicFoot UnitOfVolume) | Mid-level-ontology.kif 13104-13104 | Cubic foot is an instance of UnitOfVolume |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CubicFoot "立方英尺") | domainEnglishFormat.kif 17973-17973 | |
| (termFormat ChineseTraditionalLanguage CubicFoot "立方英尺") | domainEnglishFormat.kif 17972-17972 | |
| (termFormat EnglishLanguage CubicFoot "cubic foot") | domainEnglishFormat.kif 17971-17971 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot))) |
Mid-level-ontology.kif 13138-13142 |
|
|
|
|