Shortening
|
|
appearance as argument number 1 |
(documentation Shortening EnglishLanguage "Decreasing the length of something.") | Mid-level-ontology.kif 17233-17233 | |
(subclass Shortening Decreasing) | Mid-level-ontology.kif 17232-17232 | 缩短 是 减少 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Shortening "缩短") | domainEnglishFormat.kif 52811-52811 | |
(termFormat ChineseTraditionalLanguage Shortening "縮短") | domainEnglishFormat.kif 52810-52810 | |
(termFormat EnglishLanguage Shortening "shortening") | domainEnglishFormat.kif 52809-52809 |
antecedent |
(=> (and (instance ?S Shortening) (patient ?S ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?S)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L1 ?L2)))) |
Mid-level-ontology.kif 17235-17250 |