Lock - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Lock

Lock

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2657-2658
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 563-563
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2656-2656	Lock est une sous-classe de SecurityDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25815-25815	ElectronicLock est une sous-classe de Lock
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34877-34877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34876-34876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34875-34875

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2691-2707	Locked est un attribut de objet objet processus and entit� objet est une instance de Lock objet est connect� � objet processus est une instance de Closing objet est un patient de processus entit� est une instance de d�palcement temps d'existence de processus arrive plus t�t que temps d'existence de Locked est un attribut de objet l'argument objet est un patient de entit� n' %n{pas} la force modale de Possibility pendant temps d'existence de Locked est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2720-2725	Objet est une instance de SafeContainer objet objet est une instance de Lock objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2663-2685	Physique est une instance de Key physique a pour but entit� entit� and entit� entit� est une instance de Lock physique est capable de faire la classe d�crite par entit� dans le r�le instrument physique est capable de faire la classe d�crite par entit� dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3760-3785	Collection est une instance de RemoteKeylessSystem objet physique, cha�ne sympbolique and cha�ne sympbolique objet est une instance de Key objet est une instance de RemoteControl objet est un membre de collection physique est une instance de Lock physique est un membre de collection objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le 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