Shortening - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Shortening EnglishLanguage "Decreasing the length of something.")	Mid-level-ontology.kif 18174-18174
(subclass Shortening Decreasing)	Mid-level-ontology.kif 18173-18173	Shortening is a subclass of decreasing

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 18176-18191

If a process is an instance of shortening and an entity is a patient of the process,
then there exist a real number, another real number and another entity such that the other entity is an instance of unit of length and the length of the entity is the real number the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the other real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: