SteeringColumnLock - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SteeringColumnLock EnglishLanguage "A SecurityDevice design to protect an Automobile from Stealing and which is a part of the Automobile's SteeringColumn.")	Cars.kif 4054-4054
(subclass SteeringColumnLock SecurityDevice)	Cars.kif 4053-4053	Steering column lock is a subclass of security device

appearance as argument number 2

(termFormat EnglishLanguage SteeringColumnLock "steering column lock")

domainEnglishFormat.kif 65564-65564

antecedent

(=>
    (instance ?X SteeringColumnLock)
    (hasPurpose ?X
        (exists (?SC ?P ?CAR ?T)
            (and
                (instance ?SC SteeringColumn)
                (instance ?CAR Automobile)
                (component ?SC ?CAR)
                (part ?X ?SC)
                (instance ?P Protecting)
                (instrument ?P ?X)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (attribute ?X Locked))
                    (holdsDuring ?T
                        (exists (?STEAL)
                            (and
                                (instance ?STEAL Stealing)
                                (patient ?STEAL ?CAR)))))))))

Cars.kif 4055-4073

If a physical is an instance of steering column lock,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of steering column and the third entity is an instance of automobile and the entity is a component of the third entity and the physical is a part of the entity and the other entity is an instance of protecting and the physical is an instrument for the other entity and locked is an attribute of the physical holds during the fourth entity decreases likelihood of there exists a fifth entity such that the fifth entity is an instance of stealing and the third entity is a patient of the fifth entity holds during the fourth 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: