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 |
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 |