Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cutting
Cutting(couper)

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 12390-12391
No TPTP formula. May not be expressible in strict first order. Merge.kif 12389-12389 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 22079-22079 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 22070-22077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18177-18211

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12305-12314
No TPTP formula. May not be expressible in strict first order. naics.kif 11934-11946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18140-18148
No TPTP formula. May not be expressible in strict first order. Economy.kif 5562-5569
No TPTP formula. May not be expressible in strict first order. Economy.kif 5472-5483
No TPTP formula. May not be expressible in strict first order. Economy.kif 5523-5530
No TPTP formula. May not be expressible in strict first order. Economy.kif 6017-6036
No TPTP formula. May not be expressible in strict first order. Economy.kif 5548-5556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22050-22052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18217-18225

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18229-18246 ?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