| Lengthening | |
| appearance as argument number 1 |
|
|
| (documentation Lengthening EnglishLanguage "Increasing the length of something.") | Mid-level-ontology.kif 24091-24091 | |
| (subclass Lengthening Increasing) | Mid-level-ontology.kif 24090-24090 |
| appearance as argument number 2 |
|
|
| (subclass Stretching Lengthening) | Mid-level-ontology.kif 17354-17354 | |
| (termFormat ChineseLanguage Lengthening "延长") | domainEnglishFormat.kif 33994-33994 | |
| (termFormat ChineseTraditionalLanguage Lengthening "延長") | domainEnglishFormat.kif 33993-33993 | |
| (termFormat EnglishLanguage Lengthening "lengthening") | domainEnglishFormat.kif 33992-33992 |
| antecedent |
|
|
| (=> (and (instance ?L Lengthening) (patient ?L ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?L)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?L)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L2 ?L1)))) |
Mid-level-ontology.kif 24093-24108 |
|
|
|