Paper
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3549-3559 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 653-653 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | Paper e' uma sub-classe de Artefato |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44286-44286 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44285-44285 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44284-44284 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3574-3582 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3562-3572 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2717-2728 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3125-3129 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3589-3594 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14871-14873 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17129-17131 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4230-4237 | |
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 |