Closing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Closing

Closing

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21554-21555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10642-10642
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10645-10645
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9944-9944
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10644-10644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10643-10643
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21553-21553	Closing est une sous-classe de d�palcement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21547-21547	Opening est reli� � l'int�rieur de SUMO � Closing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19987-19987	ClosingEyes est une sous-classe de Closing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15204-15204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15203-15203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15202-15202

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29453-29459	Objet est une instance de VehicleDoor DeviceNormal est un attribut de objet objet est capable de faire Opening dans le r�le patient objet est capable de faire Closing dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2428-2438	Doorman est un attribut de objet objet a pour but entit� entit� entit� est une instance de Door entit� est un agent de objet entit� est un patient de entit� entit� est une instance de Opening entit� est une instance de Closing
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.	Medicine.kif 828-844	Physique est une instance de ChestSeal physique a pour but entit� entit�H, entit� and entit� entit� est une instance de Closing physique est un instrument pour entit� entit� est situ� � entit�H entit�H est une instance de Chest entit� est une instance de trou entit�H est h�te du trou entit� entit� est une instance de blesser entit� est situ� � entit�H temps d'existence de entit� arrive plus t�t que temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	Physique est une instance de HeatSealer physique a pour but entit� entit�, entit� and entit� entit� est une instance de Container entit� est une instance de Plastic entit� est une instance de Closing entit� est une instance de r�chauffer physique est un instrument pour entit� entit� est un instrument pour entit� entit� est un agent de physique entit� est un patient de entit� entit� est le resultat de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4012-4020	Objet en une partie est une instance de Lid objet en une partie objet en une partie est une instance de Container objet en une partie est une partie de objet en une partie objet en une partie est capable de faire Closing dans le r�le instrument objet en une partie est capable de faire Opening dans le r�le instrument le dessus de objet en une partie est objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29445-29451	Physique est une instance de VehicleDoor physique a pour but entit� entit� est une instance de Closing physique est un patient de entit�
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