Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lengthening
Lengthening

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


(documentation Lengthening EnglishLanguage "Increasing the length of something.") Mid-level-ontology.kif 22015-22015
(subclass Lengthening Increasing) Mid-level-ontology.kif 22014-22014

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


(subclass Stretching Lengthening) Mid-level-ontology.kif 15342-15342
(termFormat ChineseLanguage Lengthening "延长") domainEnglishFormat.kif 33948-33948
(termFormat ChineseTraditionalLanguage Lengthening "延長") domainEnglishFormat.kif 33947-33947
(termFormat EnglishLanguage Lengthening "lengthening") domainEnglishFormat.kif 33946-33946

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 22017-22032


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