UnitOfLength
|
|
appearance as argument number 1 |
(documentation UnitOfLength ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 LengthMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2405-2406 | |
(documentation UnitOfLength EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of LengthMeasure.") | Merge.kif 6249-6251 | |
(documentation UnitOfLength JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn と共に LengthMeasure のインスタンスを形成するのに使用でき る。") | japanese_format.kif 1088-1090 | |
(subclass UnitOfLength NonCompositeUnitOfMeasure) | Merge.kif 6247-6247 | UnitOfLength ist eine teilkategorie von NonCompositeUnitOfMeasure |
appearance as argument number 2 |
(instance Angstrom UnitOfLength) | Merge.kif 7168-7168 | Angstrom ist ein fall von UnitOfLength %n{nicht} |
(instance Centimeter UnitOfLength) | Merge.kif 6775-6775 | Centimeter ist ein fall von UnitOfLength %n{nicht} |
(instance Fathom UnitOfLength) | Geography.kif 3840-3840 | Fathom ist ein fall von UnitOfLength %n{nicht} |
(instance FootLength UnitOfLength) | Merge.kif 7182-7182 | FootLength ist ein fall von UnitOfLength %n{nicht} |
(instance Inch UnitOfLength) | Merge.kif 7190-7190 | Inch ist ein fall von UnitOfLength %n{nicht} |
(instance Kilometer UnitOfLength) | Merge.kif 6794-6794 | Kilometer ist ein fall von UnitOfLength %n{nicht} |
(instance Meter UnitOfLength) | Merge.kif 6690-6690 | Meter ist ein fall von UnitOfLength %n{nicht} |
(instance Micrometer UnitOfLength) | Geography.kif 7091-7091 | Micrometer ist ein fall von UnitOfLength %n{nicht} |
(instance Mile UnitOfLength) | Merge.kif 7197-7197 | Mile ist ein fall von UnitOfLength %n{nicht} |
(instance Millimeter UnitOfLength) | Merge.kif 6787-6787 | Millimeter ist ein fall von UnitOfLength %n{nicht} |
(instance Nanometer UnitOfLength) | Mid-level-ontology.kif 19081-19081 | Nanometer ist ein fall von UnitOfLength %n{nicht} |
(instance NauticalMile UnitOfLength) | Geography.kif 3855-3855 | NauticalMile ist ein fall von UnitOfLength %n{nicht} |
(instance YardLength UnitOfLength) | Mid-level-ontology.kif 19070-19070 | YardLength ist ein fall von UnitOfLength %n{nicht} |
(termFormat EnglishLanguage UnitOfLength "unit of length") | domainEnglishFormat.kif 65658-65658 |
antecedent |
consequent |