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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Key

Sigma KEE - Key
Key

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


(documentation Key EnglishLanguage "A Device which opens and closes a Lock.") Mid-level-ontology.kif 2661-2661
(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 2660-2660

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 2663-2685

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 3760-3785


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