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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Compressing
Compressing

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


(documentation Compressing EnglishLanguage "Forcing some SelfConnectedObject into a smaller space than at the beginning of the action.") Cars.kif 1998-1999
(subclass Compressing Motion) Cars.kif 1996-1996

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


(termFormat EnglishLanguage Compressing "compressing") Cars.kif 1997-1997

antecedent
-------------------------


(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (attribute ?F Fluid)
        (equal ?AS
            (HoleHostFn ?H))
        (contains ?AS ?F)
        (patient ?C ?AS))
    (exists (?T)
        (and
            (instance ?T Transfer)
            (objectTransferred ?T ?F)
            (path ?T ?H)
            (causes ?C ?T))))
Cars.kif 871-885
(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V UnitOfVolume)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))
Cars.kif 2001-2013

consequent
-------------------------


(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))
Cars.kif 5197-5205
(=>
    (instance ?VCC VaporCompressionCycle)
    (exists (?CMP ?COND ?EV ?CMP2)
        (and
            (instance ?CMP Compressing)
            (instance ?COND Condensing)
            (instance ?EV Evaporating)
            (instance ?CMP2 Compressing)
            (subProcess ?CMP ?VCC)
            (subProcess ?COND ?VCC)
            (subProcess ?EV ?VCC)
            (subProcess ?CMP2 ?VCC)
            (meetsTemporally
                (WhenFn ?CMP)
                (WhenFn ?COND))
            (meetsTemporally
                (WhenFn ?COND)
                (WhenFn ?EV))
            (meetsTemporally
                (WhenFn ?EV)
                (WhenFn ?CMP2)))))
Cars.kif 2037-2057
(=>
    (instance ?X Paper)
    (exists (?MAKE ?CELL ?PRESS)
        (and
            (instance ?MAKE Making)
            (instance ?CELL Cellulose)
            (instance ?PRESS Compressing)
            (resource ?MAKE ?CELL)
            (result ?MAKE ?X)
            (subProcess ?MAKE ?PRESS)
            (patient ?PRESS ?CELL))))
Mid-level-ontology.kif 3495-3505


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