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 21994-21995
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 21993-21993	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 22008-22008	Blade est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18107-18107	Drill est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21979-21979	Knife est une sous-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18185-18185	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 18146-18146	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 21997-21999

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 18149-18183	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 22011-22016	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