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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gasket

Sigma KEE - Gasket
Gasket(gasket)gasket, head_gasket, washer

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


(documentation Gasket EnglishLanguage "A Device that is designed to allow two imperfect surfaces to mate cleanly, without gaps, and therefore prevent leakage of any Liquids.") Cars.kif 2834-2836
(subclass Gasket Device) Cars.kif 2832-2832 Gasket is a subclass of device

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


(subclass ORing Gasket) Cars.kif 3331-3331 O-ring is a subclass of gasket
(subclass PistonRing Gasket) Cars.kif 3802-3802 Piston ring is a subclass of gasket
(termFormat EnglishLanguage Gasket "gasket") Cars.kif 2833-2833

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


(=>
    (instance ?G Gasket)
    (hasPurpose ?G
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 CorpuscularObject)
                (meetsSpatially ?O1 ?G)
                (meetsSpatially ?O2 ?G)
                (not
                    (exists (?H ?D ?T ?O)
                        (and
                            (instance ?H HoleRegion)
                            (equal ?G
                                (HoleHostFn ?H))
                            (instance ?T Translocation)
                            (path ?T ?H)
                            (origin ?T ?O)
                            (destination ?T ?D)
                            (contains ?O1 ?O)
                            (not
                                (contains ?O1 ?D))
                            (meetsSpatially ?O1 ?D)
                            (not
                                (exists (?O3)
                                    (and
                                        (contains ?H ?O3)
                                        (not
                                            (contains ?O1 ?O3))
                                        (not
                                            (contains ?O2 ?O3))))))))))))
Cars.kif 2843-2872


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