Cutting
|
|
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 | Cortar e' uma sub-classe de Cutucar |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5468-5468 | Felling e' uma sub-classe de Cortar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22027-22027 | Slicing e' uma sub-classe de Cortar |
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 12259-12268 | |
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 18113-18121 | |
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 21998-22000 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18190-18198 |
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 e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |