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 est une sous-classe de artefact |
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 14870-14872 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17128-17130 |
|
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 18189-18197 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18218 | ?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 |