Entity
|
|
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 13662-13664 | |
(documentation CubicFoot EnglishLanguage "SquareFoot is a unit for measuring area, equal to one foot length by one foot width.") | Mid-level-ontology.kif 13652-13653 | |
(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 13661-13661 |
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 13695-13699 |