|
|
  Length
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Length EnglishLanguage "PhysicalDimension of length, [m].") | engineering.kif 75-75 | |
| (documentation Length EnglishLanguage "As with length, this is the measure of an Object along its longest span.") | Mid-level-ontology.kif 30965-30966 | |
| (instance Length MeasurementAttribute) | Mid-level-ontology.kif 30964-30964 | Length is an instance of measurement attribute |
| (instance Length PhysicalDimension) | engineering.kif 76-76 | Length is an instance of physical dimension |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Length "长度") | domainEnglishFormat.kif 33965-33965 | |
| (termFormat ChineseTraditionalLanguage Length "長度") | domainEnglishFormat.kif 33964-33964 | |
| (termFormat EnglishLanguage Length "length") | domainEnglishFormat.kif 33963-33963 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 30969-30974 |
|
|
|
|