Inflating - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Inflating EnglishLanguage "Any Process where a Balloon is filled with a Gas.")	Cars.kif 3588-3589
(subclass Inflating Increasing)	Cars.kif 3586-3586	Inflating e' uma sub-classe de Aumentar

appearance as argument number 2

(termFormat EnglishLanguage Inflating "inflating")

Cars.kif 3587-3587

antecedent

(=>
    (instance ?I Inflating)
    (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
        (and
            (instance ?G1 ?S)
            (instance ?G2 ?S)
            (instance ?S Substance)
            (attribute ?G1 Gas)
            (attribute ?G2 Gas)
            (instance ?U UnitOfVolume)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?I))
                (measure ?G1
                    (MeasureFn ?V1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?I))
                (measure ?G2
                    (MeasureFn ?V2 ?U)))
            (greaterThan ?V2 ?V1))))

Cars.kif 3591-3607

Fisico e' uma instancia de Inflating
Objeto Objeto, Numero Real, Numero Real, Classe and Entidade Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Classe e' uma instancia de Substancia Gas e' um atributo de Objeto Gas e' um atributo de Objeto Entidade e' uma instancia de UnitOfVolume a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Fisico a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Fisico Numero Real e' maior que Numero Real

consequent

(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
            (and
                (instance ?CAR Automobile)
                (part ?X ?CAR)
                (instance ?PERSON Human)
                (contains ?CAR ?PERSON)
                (instance ?IMP Impacting)
                (patient ?IMP ?CAR)
                (instance ?INF Inflating)
                (patient ?INF ?X)
                (causes ?IMP ?INF)
                (hinders ?INF
                    (KappaFn ?INJ
                        (and
                            (instance ?INJ Injuring)
                            (experiencer ?INJ ?PERSON)
                            (exists (?HIT)
                                (and
                                    (instance ?HIT Impacting)
                                    (destination ?HIT ?CAR)
                                    (experiencer ?HIT ?PERSON)
                                    (causes ?HIT ?INJ))))))))))

Cars.kif 3617-3641

Fisico e' uma instancia de AutoAirbag
Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade contem Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Inflating Fisico e' um patient de Entidade Entidade causa Entidade hinders Entidade and a classe descrita por Entidade

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: