TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Cavitating EnglishLanguage "A process whereby a PartialVacuum forms in a Liquid, near the blades or impellers of a Pump, reducing its ability to move the liquid.")	Cars.kif 1737-1739
(subclass Cavitating LiquidMotion)	Cars.kif 1735-1735	Cavitating is a subclass of liquid motion

appearance as argument number 2

(termFormat EnglishLanguage Cavitating "cavitating")

Cars.kif 1736-1736

antecedent

(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP ?L2)
        (and
            (part ?PP ?P)
            (hasPurpose ?PP
                (and
                    (attribute ?L2 Liquid)
                    (meetsSpatially ?L2 ?PP)))
            (holdsDuring
                (WhenFn ?C)
                (not
                    (exists (?L3)
                        (and
                            (attribute ?L3 Liquid)
                            (meetsSpatially ?PP ?L3))))))))

Cars.kif 1741-1761

If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object,
then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical

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: