|
|
  YardLength
|
|
|
| appearance as argument number 1 |
|
|
| (documentation YardLength EnglishLanguage "English unit of length, equal to 3 FeetLength.") | Mid-level-ontology.kif 20642-20642 | |
| (externalImage YardLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") | pictureList.kif 9860-9860 | |
| (externalImage YardLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") | pictureList.kif 8808-8808 | |
| (instance YardLength UnitOfLength) | Mid-level-ontology.kif 20641-20641 | Yard length is an instance of unit of length |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage YardLength "院子长度") | domainEnglishFormat.kif 63703-63703 | |
| (termFormat ChineseTraditionalLanguage YardLength "院子長度") | domainEnglishFormat.kif 63702-63702 | |
| (termFormat EnglishLanguage YardLength "yard length") | domainEnglishFormat.kif 63701-63701 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 20644-20648 |
|
| statement |
|
|
| (equal SquareYard (SquareUnitFn YardLength)) |
Mid-level-ontology.kif 15081-15081 | Square yard is equal to the square unit of yard length |
|
|
|
