Shortening - Sigma Knowledge base Browser

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	Shortening is a subclass of decreasing

appearance as argument number 2

(termFormat ChineseLanguage Shortening "缩短")	domainEnglishFormat.kif 52849-52849
(termFormat ChineseTraditionalLanguage Shortening "縮短")	domainEnglishFormat.kif 52848-52848
(termFormat EnglishLanguage Shortening "shortening")	domainEnglishFormat.kif 52847-52847

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

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: