| Shortening | |
| appearance as argument number 1 |
|
|
| (documentation Shortening EnglishLanguage "Decreasing the length of something.") | Mid-level-ontology.kif 18653-18653 | |
| (subclass Shortening Decreasing) | Mid-level-ontology.kif 18652-18652 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shortening "缩短") | domainEnglishFormat.kif 52842-52842 | |
| (termFormat ChineseTraditionalLanguage Shortening "縮短") | domainEnglishFormat.kif 52841-52841 | |
| (termFormat EnglishLanguage Shortening "shortening") | domainEnglishFormat.kif 52840-52840 |
| 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 18655-18670 |
|
|
|