|
|
  CubicFoot
|
|
|
| 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 11250-11252 | |
| (externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png") | pictureList.kif 10787-10787 | |
| (externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") | pictureList.kif 9982-9982 | |
| (instance CubicFoot UnitOfVolume) | Mid-level-ontology.kif 11249-11249 | Cubic foot is an instance of UnitOfVolume |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CubicFoot "立方英尺") | domainEnglishFormat.kif 17905-17905 | |
| (termFormat ChineseTraditionalLanguage CubicFoot "立方英尺") | domainEnglishFormat.kif 17904-17904 | |
| (termFormat EnglishLanguage CubicFoot "cubic foot") | domainEnglishFormat.kif 17903-17903 |
| 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 11262-11272 |
|
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100) CubicFoot))) |
Mid-level-ontology.kif 11282-11286 |
|
| statement |
|
|
| (equal (MeasureFn 1 CubicFoot) (MultiplicationFn (MeasureFn 1 FootLength) (MultiplicationFn (MeasureFn 1 FootLength) (MeasureFn 1 FootLength)))) |
Mid-level-ontology.kif 11254-11260 | 1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s) |
|
|
|
