CenturyDuration
|
|
appearance as argument number 1 |
(documentation CenturyDuration EnglishLanguage "The TimeDuration of 100 years.") | Mid-level-ontology.kif 19089-19089 | |
(instance CenturyDuration UnitOfDuration) | Mid-level-ontology.kif 19088-19088 | 例 CenturyDuration and UnitOfDuration |
appearance as argument number 2 |
(termFormat EnglishLanguage CenturyDuration "century duration") | domainEnglishFormat.kif 64609-64609 |
consequent |
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration))) |
Mid-level-ontology.kif 19091-19095 |
|