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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Locked
Locked(locked)

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


(documentation Locked EnglishLanguage "An Attribute of Objects. A Locked Object is in some way restricted in movement, there is some movement, that the the Object can not performed, when it's locked.") Mid-level-ontology.kif 2660-2661
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/2/21/ Kathmandu-05.JPG") pictureList.kif 10110-10110
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/6/63/ Master_Padlock.jpg") pictureList.kif 11380-11380
(externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Locking_mechanism_on_box_recovered_from_the_Vasa.jpg") pictureList.kif 11381-11381
(externalImage Locked "http://upload.wikimedia.org/wikipedia/en/d/dc/Two_holes_no_waiting.JPG") pictureList.kif 11382-11382
(instance Locked RelationalAttribute) Mid-level-ontology.kif 2659-2659 Locked is an instance of relational attribute

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


(termFormat ChineseLanguage Locked "锁定") domainEnglishFormat.kif 34861-34861
(termFormat ChineseTraditionalLanguage Locked "鎖定") domainEnglishFormat.kif 34860-34860
(termFormat EnglishLanguage Locked "locked") domainEnglishFormat.kif 34859-34859

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


(=>
    (attribute ?X Locked)
    (exists (?LOCK ?CLOSE ?MOVE)
        (and
            (instance ?LOCK Lock)
            (connected ?LOCK ?X)
            (instance ?CLOSE Closing)
            (patient ?CLOSE ?LOCK)
            (instance ?MOVE Motion)
            (earlier
                (WhenFn ?CLOSE)
                (WhenFn
                    (attribute ?X Locked)))
            (holdsDuring
                (WhenFn
                    (attribute ?X Locked))
                (not
                    (modalAttribute
                        (patient ?MOVE ?X) Possibility))))))
Mid-level-ontology.kif 2663-2679
(=>
    (attribute ?X Locked)
    (instance ?X Object))
Mid-level-ontology.kif 2681-2683

consequent
-------------------------


(=>
    (attribute ?X Locked)
    (exists (?LOCK ?CLOSE ?MOVE)
        (and
            (instance ?LOCK Lock)
            (connected ?LOCK ?X)
            (instance ?CLOSE Closing)
            (patient ?CLOSE ?LOCK)
            (instance ?MOVE Motion)
            (earlier
                (WhenFn ?CLOSE)
                (WhenFn
                    (attribute ?X Locked)))
            (holdsDuring
                (WhenFn
                    (attribute ?X Locked))
                (not
                    (modalAttribute
                        (patient ?MOVE ?X) Possibility))))))
Mid-level-ontology.kif 2663-2679
(=>
    (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
(=>
    (instance ?X Key)
    (hasPurpose ?X
        (exists (?LOCK ?CLOSE ?OPEN)
            (and
                (instance ?LOCK Lock)
                (capability
                    (KappaFn ?CLOSE
                        (and
                            (instance ?CLOSE Closing)
                            (patient ?CLOSE ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn ?CLOSE)
                                (attribute ?LOCK Locked)))) instrument ?X)
                (capability
                    (KappaFn ?OPEN
                        (and
                            (instance ?OPEN Closing)
                            (patient ?OPEN ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn ?OPEN)
                                (not
                                    (attribute ?LOCK Locked))))) instrument ?X)))))
Mid-level-ontology.kif 2635-2657
(=>
    (instance ?X RemoteKeylessSystem)
    (exists (?KEY ?LOCK ?CLOSE ?OPEN)
        (and
            (instance ?KEY Key)
            (instance ?KEY RemoteControl)
            (member ?KEY ?X)
            (instance ?LOCK Lock)
            (member ?LOCK ?X)
            (capability
                (KappaFn ?CLOSE
                    (and
                        (instance ?CLOSE Closing)
                        (patient ?CLOSE ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?CLOSE)
                            (attribute ?LOCK Locked)))) instrument ?KEY)
            (capability
                (KappaFn ?OPEN
                    (and
                        (instance ?OPEN Closing)
                        (patient ?OPEN ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?OPEN)
                            (not
                                (attribute ?LOCK Locked))))) instrument ?KEY))))
Cars.kif 3775-3800
(=>
    (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 3994-4012


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