|
|
  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 10959-10961 | |
| (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 10958-10958 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CubicFoot "cubic foot") | domainEnglishFormat.kif 3418-3418 |
| 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 10971-10981 | |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100) CubicFoot))) |
Mid-level-ontology.kif 10991-10995 |
| statement |
|
|
| (equal (MeasureFn 1 CubicFoot) (MultiplicationFn (MeasureFn 1 FootLength) (MultiplicationFn (MeasureFn 1 FootLength) (MeasureFn 1 FootLength)))) |
Mid-level-ontology.kif 10963-10969 |
|
|
|
