TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Key "key")	domainEnglishFormat.kif 32355-32355
(termFormat ChineseTraditionalLanguage Key "鍵")	domainEnglishFormat.kif 32356-32356
(termFormat ChineseLanguage Key "键")	domainEnglishFormat.kif 32357-32357

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
                                    (WhenFn ?CLOSE))
                                (attribute ?LOCK Locked)))) instrument ?X)
                (capability
                    (KappaFn ?OPEN
                        (and
                            (instance ?OPEN Closing)
                            (patient ?OPEN ?LOCK)
                            (holdsDuring
                                (ImmediateFutureFn
                                    (WhenFn ?OPEN))
                                (not
                                    (attribute ?LOCK Locked))))) instrument ?X)))))

Mid-level-ontology.kif 3269-3293

If X is an instance of key, then X has the purpose there exist Y, Z, W such that Y is an instance of lock, X is capable of doing the class described by Z as a instrument, and X is capable of doing the class described by W as a instrument

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
                                (WhenFn ?CLOSE))
                            (attribute ?LOCK Locked)))) instrument ?KEY)
            (capability
                (KappaFn ?OPEN
                    (and
                        (instance ?OPEN Closing)
                        (patient ?OPEN ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn
                                (WhenFn ?OPEN))
                            (not
                                (attribute ?LOCK Locked))))) instrument ?KEY))))

Cars.kif 3642-3669

If X is an instance of remote keyless system, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of key (3) Y is an instance of remote control (4) Y is a member of X (5) Z is an instance of lock (6) Z is a member of X (7) Y is capable of doing the class described by W as a instrument (8) Y is capable of doing the class described by V as a instrument

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: