| Shortening | |
| appearance as argument number 1 |
|
|
| (documentation Shortening EnglishLanguage "Decreasing the length of something.") | Mid-level-ontology.kif 17464-17464 | |
| (subclass Shortening Decreasing) | Mid-level-ontology.kif 17463-17463 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shortening "缩短") | domainEnglishFormat.kif 52844-52844 | |
| (termFormat ChineseTraditionalLanguage Shortening "縮短") | domainEnglishFormat.kif 52843-52843 | |
| (termFormat EnglishLanguage Shortening "shortening") | domainEnglishFormat.kif 52842-52842 |
| 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 17466-17481 |
|
|
|