| 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 20160-20160 | |
| (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 20159-20159 | Yard length is an instance of unit of length |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage YardLength "院子长度") | domainEnglishFormat.kif 63732-63732 | |
| (termFormat ChineseTraditionalLanguage YardLength "院子長度") | domainEnglishFormat.kif 63731-63731 | |
| (termFormat EnglishLanguage YardLength "yard length") | domainEnglishFormat.kif 63730-63730 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 20162-20166 |
|
| statement |
|
|
| (equal SquareYard (SquareUnitFn YardLength)) |
Mid-level-ontology.kif 14638-14638 | Square yard is equal to the square unit of yard length |
|
|
|