Cutting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3161-3162
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12344-12345
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12343-12343	Couper est une sous-classe de percer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5468-5468	Felling est une sous-classe de couper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22027-22027	Slicing est une sous-classe de couper
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1164-1164
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	french_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 374-374
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 377-377
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2526-2526
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 379-379
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 378-378

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	Objet est une instance de Blade processus est une instance de couper objet est une instance de objet objet est un instrument pour processus objet est un patient de processus objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12259-12268	Processus est une instance de chirurgie entit� est un patient de processus processus processus est une instance de couper entit� est une instance de animal entit� est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	BarberShops est un attribut de objet objet a pour but entit� entit�, entit� and entit� entit� est une instance de Hair entit� est une partie de entit� entit� est une instance de humain entit� est une instance de couper entit� est un patient de entit� eventLocated entit� and objet entit� est un agent de entit� objet emploie entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18113-18121	Physique est une instance de Drill physique a pour but entit� entit� entit� est une instance de couper entit� est une instance de trou entit� est le resultat de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5562-5569	Entit� est une instance de FinishedLumber processus objet processus est une instance de couper objet est un instrument pour processus objet est une instance de Planer entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	Entit� est une instance de Felling processus processus, objet and objet processus est une instance de couper objet est un patient de processus objet est une instance de BotanicalTree processus est le resultat de processus processus est une instance de Falling objet est un patient de processus objet est une instance de PlantStem objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5523-5530	Entit� est une instance de Lumber processus entit� processus est une instance de couper entit� est le resultat de processus entit� est un patient de processus entit� est une instance de Lumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	Physique est une instance de Planer physique a pour but entit� entit�, entit�, entit�, entit� and entit� entit� est une instance de couper physique est un instrument pour entit� entit� est une resource pour entit� entit� est une instance de objet entit� est fait de Wood entit� est le resultat de entit� entit� est une instance de objet Wood est fait de entit� Flat est un attribut de entit� entit� est une instance de UnitOfLength la hauteur de entit� est entit� entit�(s) la hauteur de entit� est entit� entit�(s) entit� est plus grand que entit�
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5548-5556	Entit� est une instance de RoughSawnLumber processus objet processus est une instance de couper objet est un instrument pour processus objet est une instance de Planer entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21998-22000	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18190-18198	Physique est une instance de PaperShredder physique a pour but entit� entit� entit� est une instance de couper physique est un instrument pour entit� entit� est une instance de Paper entit� est un patient de entit�

statement

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

Mid-level-ontology.kif 18202-18219

?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ

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

KB Term:			Term intersection

English Word: