TreeView Knowledge Base Browser

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 2817-2819
(subclass Gasket Device)	Cars.kif 2815-2815	Gasket ist eine teilkategorie von Device

appearance as argument number 2

(subclass ORing Gasket)	Cars.kif 3316-3316	ORing ist eine teilkategorie von Gasket
(subclass PistonRing Gasket)	Cars.kif 3787-3787	PistonRing ist eine teilkategorie von Gasket
(termFormat EnglishLanguage Gasket "gasket")	Cars.kif 2816-2816

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 2826-2855

Wenn Physical ist ein fall von Gasket %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von CorpuscularObject %n{nicht} und ** ** entity ist ein fall von CorpuscularObject %n{nicht} und ** entity schliesst ** Physical raeumlich an und ** ** entity schliesst ** Physical raeumlich an und es gibt nicht ** entity, ** entity,, , ** entity, and und ** entity um ** ** entity ist ein fall von HoleRegion %n{nicht} und ** Physical ist gleich HoleHostFn ** ** entity %n{nicht} und ** ** entity ist ein fall von Translocation %n{nicht} und ** ** entity ist der pfad entlang dem ** ** entity geschieht und ** ** entity beginnet an ** ** entity %n{nicht} und ** ** entity endet an ** ** entity %n{nicht} und contains ** entity and ** ** entity und contains ** entity and ** ** entity und ** entity schliesst ** ** entity raeumlich an und es gibt nicht ** ** entity3 um contains ** ** entity and ** ** entity3 und contains ** entity and ** ** entity3 und contains ** ** entity and ** ** entity3 %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: