CuttingDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CuttingDevice

CuttingDevice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22047-22048
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 162-162
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22046-22046	CuttingDevice est une sous-classe de appareil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22061-22061	Blade est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18135-18135	Drill est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22032-22032	Knife est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18213-18213	PaperShredder est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6014-6014	Planer est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18174-18174	Saw est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18240-18240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18239-18239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18238-18238

antecedent

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

Mid-level-ontology.kif 22050-22052

R�le d�pendant du cas est une instance de CuttingDevice
instrument est capable de faire couper dans le r�le r�le d�pendant du cas

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18177-18211	Objet est une instance de Saw processus est une instance de couper objet est un instrument pour processus objet est une instance de objet objet est un patient de processus processus entit�, entit�, interval temporel, position temporel, position temporel and objet processus est une instance de d�palcement processus est un sous-processus de processus objet est une instance de CuttingDevice objet est une partie de objet objet rencontre objet objet est un patient de processus position temporel est une instance de interval temporel position temporel est une instance de interval temporel temps d'existence de processus est interval temporel interval temporel est une partie de position temporel interval temporel est une partie de position temporel entit� est une instance de attribut directionnel entit� est une instance de attribut directionnel les entit�es dans le processus processus bougent entit� pendant position temporel les entit�es dans le processus processus bougent entit� entit� est entit� oppositeDirection entit� and entit� ~{ entit� est entit� } ~{ oppositeDirection entit� and entit� } pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22064-22069	Objet est une instance de Blade objet objet est une instance de CuttingDevice objet est une partie de objet

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