TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Shortening EnglishLanguage "Decreasing the length of something.")	Mid-level-ontology.kif 17233-17233
(subclass Shortening Decreasing)	Mid-level-ontology.kif 17232-17232	Shortening ist eine teilkategorie von Decreasing

appearance as argument number 2

(termFormat ChineseLanguage Shortening "缩短")	domainEnglishFormat.kif 52811-52811
(termFormat ChineseTraditionalLanguage Shortening "縮短")	domainEnglishFormat.kif 52810-52810
(termFormat EnglishLanguage Shortening "shortening")	domainEnglishFormat.kif 52809-52809

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 17235-17250

Wenn Process ist ein fall von Shortening %n{nicht} und Entity ist ein patient von ** Process %n{nicht},
dann es gibt RealNumber, ** RealNumber, and und ** Entity um ** ** Entity ist ein fall von UnitOfLength %n{nicht} und die laenge von ** Entity ist ** RealNumber ** ** Entity(s) %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und die laenge von ** Entity ist ** ** RealNumber ** ** Entity(s) %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: