FuelCapLock - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FuelCapLock EnglishLanguage "A SecurityDevice that is to be located on the opening of a GasTank to prevent Stealing the Fuel from the GasTank.")	Cars.kif 1015-1015
(subclass FuelCapLock SecurityDevice)	Cars.kif 1014-1014	Fuel cap lock is a subclass of security device

appearance as argument number 2

(termFormat EnglishLanguage FuelCapLock "fuel cap lock")

domainEnglishFormat.kif 64945-64945

antecedent

(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE ?T)
            (and
                (instance ?TANK GasTank)
                (hole ?HOLE ?TANK)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (and
                            (connected ?X ?HOLE)
                            (attribute ?X Locked)))
                    (holdsDuring ?T
                        (exists (?STEAL ?FUEL)
                            (and
                                (instance ?STEAL Stealing)
                                (instance ?FUEL Fuel)
                                (located ?FUEL ?TANK)
                                (patient ?STEAL ?FUEL)))))))))

Cars.kif 1016-1034

If a physical is an instance of fuel cap lock,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during the third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third entity

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: