Ibuprofen
|
|
appearance as argument number 1 |
(documentation CenturyDuration EnglishLanguage "The TimeDuration of 100 years.") | Mid-level-ontology.kif 19061-19061 | |
(instance CenturyDuration UnitOfDuration) | Mid-level-ontology.kif 19060-19060 |
appearance as argument number 2 |
(termFormat EnglishLanguage CenturyDuration "century duration") | domainEnglishFormat.kif 64607-64607 |
consequent |
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration))) |
Mid-level-ontology.kif 19063-19067 |