| YardLength
| |
| appearance as argument number 1 |
|
|
| (documentation YardLength EnglishLanguage "English unit of length, equal to 3 FeetLength.") | Mid-level-ontology.kif 19098-19098 | |
| (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 19097-19097 | YardLength è un' istanza di UnitOfLength |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage YardLength "院子长度") | domainEnglishFormat.kif 63711-63711 | |
| (termFormat ChineseTraditionalLanguage YardLength "院子長度") | domainEnglishFormat.kif 63710-63710 | |
| (termFormat EnglishLanguage YardLength "yard length") | domainEnglishFormat.kif 63709-63709 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 19100-19104 |
|
| statement |
|
|
| (equal (MeasureFn 1.0 SquareYard) (PerFn (MeasureFn 1.0 YardLength) (MeasureFn 1.0 YardLength))) |
Mid-level-ontology.kif 13733-13737 | 1.0 SquareYard(s is uguale a PerFn 1.0 YardLength(s and 1.0 YardLength(s |
|
|
|