Opening - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Opening

Opening

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21520-21523
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11553-11553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11557-11557
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11555-11555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11554-11554
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10168-10168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11556-11556
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21519-21519	Opening est reli� � l'int�rieur de SUMO � Closing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21518-21518	Opening 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 19953-19953	OpeningEyes est une sous-classe de Opening
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42198-42198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42197-42197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42196-42196

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29390-29396	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 4019-4027	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 25775-25786	Physique est une instance de ElectronicLock physique a pour but entit� entit� entit� est une instance de ElectronicSignalling entit� aboutit � physique entit� est une instance de Opening physique est un instrument pour entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3270-3285	Physique est une instance de ManifoldHeatControlValve physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est une instance de Opening entit� est une instance de Exhaust entit� est une instance de transf�re entit� est une instance de FuelVapor physique est un patient de entit� entit� est un instrument pour entit� entit� est un patient de entit� physique est le chemin le long duquel entit� se produit entit� cause entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3852-3872	Physique est une instance de RockerArm physique a pour but entit� entit�, entit�, entit�, entit� and entit� entit� est une instance de Pushing entit� est une instance de Cam entit� est une instance de Pushing entit� est une instance de Valve entit� est une instance de Opening entit� est une instance de FourStrokeEngine physique est une partie de entit� entit� est une partie de entit� entit� est une partie de entit� entit� est un instrument pour entit� entit� aboutit � physique physique est un instrument pour entit� entit� aboutit � entit� entit� cause entit� entit� cause entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29374-29380	Physique est une instance de VehicleDoor physique a pour but entit� entit� est une instance de Opening physique est un patient de entit�

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