| Shortening(缩短) | |
| appearance as argument number 1 |
|
|
| (documentation Shortening EnglishLanguage "Decreasing the length of something.") | Mid-level-ontology.kif 17178-17178 | |
| (subclass Shortening Decreasing) | Mid-level-ontology.kif 17177-17177 | 缩短 是 减少 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shortening "缩短") | domainEnglishFormat.kif 52821-52821 | |
| (termFormat ChineseTraditionalLanguage Shortening "縮短") | domainEnglishFormat.kif 52820-52820 | |
| (termFormat EnglishLanguage Shortening "shortening") | domainEnglishFormat.kif 52819-52819 |
| 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 17180-17195 |
|
|
|