Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Shortening

 Sigma KEE - Shortening
Shortening(shortening)shorten

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Shortening "shortening") domainEnglishFormat.kif 52804-52804
(termFormat ChineseTraditionalLanguage Shortening "縮短") domainEnglishFormat.kif 52805-52805
(termFormat ChineseLanguage Shortening "缩短") domainEnglishFormat.kif 52806-52806

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 18866-18881 If X is an instance of shortening and Y is a patient of X, then there exist Z, W and V such that V is an instance of unit of length and the length of Y is Z V(s) holds during the beginning of the time of existence of X and the length of Y is W V(s) holds during the end of the time of existence of X and Z is greater than W


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners