| YardLength(yard length)
| | pace, yard |
| appearance as argument number 1 |
|
|
| (documentation YardLength EnglishLanguage "English unit of length, equal to 3 FeetLength.") | Mid-level-ontology.kif 19329-19329 | |
| (externalImage YardLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") | pictureList.kif 9861-9861 | |
| (externalImage YardLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") | pictureList.kif 8809-8809 | |
| (instance YardLength UnitOfLength) | Mid-level-ontology.kif 19328-19328 | Yard length is an instance of unit of length |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage YardLength "院子长度") | domainEnglishFormat.kif 63757-63757 | |
| (termFormat ChineseTraditionalLanguage YardLength "院子長度") | domainEnglishFormat.kif 63756-63756 | |
| (termFormat EnglishLanguage YardLength "yard length") | domainEnglishFormat.kif 63755-63755 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 19331-19335 |
|
| statement |
|
|
| (equal (MeasureFn 1.0 SquareYard) (PerFn (MeasureFn 1.0 YardLength) (MeasureFn 1.0 YardLength))) |
Mid-level-ontology.kif 13924-13928 | 1.0 Square yard(s) is equal to the per of 1.0 yard length(s) and 1.0 yard length(s) |
|
|
|