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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Key
Key(key)
ignition_key, key, latchkey, master, master_key, passe-partout, passkey

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


(documentation Key EnglishLanguage "A Device which opens and closes a Lock.") Mid-level-ontology.kif 2668-2668
(externalImage Key "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_3/ key_2.png") pictureList.kif 537-537
(externalImage Key "http://upload.wikimedia.org/wikipedia/commons/5/5f/Key.agr.jpg") pictureList.kif 120-120
(subclass Key SecurityDevice) Mid-level-ontology.kif 2667-2667 Key is a subclass of security device

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


(termFormat ChineseLanguage Key "键") domainEnglishFormat.kif 32353-32353
(termFormat ChineseTraditionalLanguage Key "鍵") domainEnglishFormat.kif 32352-32352
(termFormat EnglishLanguage Key "key") domainEnglishFormat.kif 32351-32351

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


(=>
    (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 2670-2692

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


(=>
    (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


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