Key - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2668-2668
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 537-537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 120-120
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2667-2667	Key is a subclass of security device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32353-32353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32352-32352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32351-32351

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2670-2692

If a physical is an instance of key,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of lock and the physical is capable of doing the class described by the other entity as a instrument and the physical is capable of doing the class described by the third entity as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3775-3800

If a collection is an instance of remote keyless system,
then there exist an object, a physical,, , a symbolic string and another symbolic string such that the object is an instance of key and the object is an instance of remote control and the object is a member of the collection and the physical is an instance of lock and the physical is a member of the collection and the object is capable of doing the class described by the symbolic string as a instrument and the object is capable of doing the class described by the other symbolic string as a instrument

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